On Tue, Jan 16, 2018 at 03:38:42PM +0100, Holger Hoffstätte wrote: >On 01/05/18 15:08, Nicolas Bock wrote: >> currently vanilla-sources are broken, but there is an upstream patch >> that fixes it (appended at the end). I know that vanilla-sources are >> supposed to be vanilla, but it would help if we added this patch >> until upstream backports it. Any thoughts? > >This is now fixed in 4.15-rc8 (with the patch you cited) and will be >in stable 4.14.15 (the one after the upcoming release). Hi Holger, thanks for the information! Best, Nick >cheers, >Holger > -- Nicolas Bock