Processed: Re: Bug#922370: libreoffice: Libreoffice duplicated global menu on plasma desktop

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> severity 922370 minor
Bug #922370 [libreoffice] libreoffice: Libreoffice duplicated global menu on plasma desktop
Severity set to 'minor' from 'normal'
> tag 922370 + unreproducible
Bug #922370 [libreoffice] libreoffice: Libreoffice duplicated global menu on plasma desktop
Added tag(s) unreproducible.
> tag 922370 + moreinfo
Bug #922370 [libreoffice] libreoffice: Libreoffice duplicated global menu on plasma desktop
Added tag(s) moreinfo.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
922370: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=922370
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems