Processed: Re: Bug#211143: openoffice.org: menu font too small

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

Processing commands for control@bugs.debian.org:

> reassign 207957 openoffice.org
Bug#207957: openoffice.org-bin: Tiny interface fonts
Bug reassigned from package `openoffice.org-bin' to `openoffice.org'.

> severity 207957 important
Bug#207957: openoffice.org-bin: Tiny interface fonts
Severity set to `important'.

> merge 207957 211143
Bug#207957: openoffice.org-bin: Tiny interface fonts
Bug#211143: openoffice.org: menu font too small
Merged 207957 211143.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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