https://bugs.freedesktop.org/show_bug.cgi?id=107781

--- Comment #7 from Michel Dänzer michel@daenzer.net --- (In reply to Alex Findler from comment #6)

I'll use these instructions. Which remote and baseline should I choose?

The linux-4.17.y or linux-4.18.y branch from linux-stable.git .