Processed: Merging bugs

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

Processing commands for control@bugs.debian.org:

> merge 743026 745878
Bug #743026 [wnpp] ITA: cinnamon -- An alternative to GNOME Desktop
Bug #745878 [wnpp] O: Cinnamon -- Cinnamon desktop
Merged 743026 745878
> thanks
Stopping processing here.

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