On 18 March 2015 at 11:35, Cyril Brulebois <kibi@debian.org> wrote: > > Pretty sure that's in no way a serious bug. If you want it to happen, > submit one. Artificially bumping the severity won't help. Isn't a missing man page a violation of the requirement stated in Debian Policy Manual 12.1? Hence violation of policy = severity "serious"?