On Sat, 06 Jan 2018 at 23:35:09 +0100, Adam Borowski wrote: > I can't think of any pressing issue (#872039 has bogus severity) If that's the case, please could someone with a suitably well-informed opinion downgrade it? (Preferably a maintainer, of course, but failing that, anyone else who's sure about the correct severity.) Thanks, smcv