On Tue, Sep 04, 2018 at 04:35:07PM +0000, Thorsten Glaser wrote: > forwarded 907911 https://bugs.freedesktop.org/show_bug.cgi?id=107824 > thanks > > Ben Hutchings dixit: > > >Please can you also report this upstream as requested in the error > > According to DevRef §3.1.4 that’s your job as maintainer I've filed #908155 against developers-reference to fix this. Cheers, Moritz