Processed: Bug 211143: unmerge, change title, prio

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> unmerge 211143
Bug#211143: openoffice.org: menu font too small
Bug#207957: openoffice.org-bin: Tiny interface fonts
Disconnected #211143 from all other report(s).

> severity 211143 minor
Bug#211143: openoffice.org: menu font too small
Severity set to `minor'.

> retitle 211143 openoffice.org: Small menu fonts - README should explain need for correct DPI setting
Bug#211143: openoffice.org: menu font too small
Changed Bug title.

> tags 211143
Unknown command or malformed arguments to command.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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