[Debian GNUstep maintainers] Processed: Severity of #402557 and #402558 is serious.

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reopen 402558
Bug#402558: gnustep-base-runtime: /usr/share/man/man1/pl.1.gz is also in tendra
'reopen' is deprecated when a bug has been closed with a version;
use 'found' or 'submitter' as appropriate instead.
Bug reopened, originator not changed.

> severity 402557 serious
Bug#402557: tendra: /usr/share/man/man1/pl.1.gz also in gnustep-base-runtime
Severity set to `serious' from `serious'

> severity 402558 serious
Bug#402558: gnustep-base-runtime: /usr/share/man/man1/pl.1.gz is also in tendra
Severity set to `serious' from `serious'

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)