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