gr-ais: fetch commit from master and use fetchpatch for PR commit
Sandro Jäckel 5 years ago b00ab748 0b90d294