Processed (with 1 errors): Merging duplicates

Processing commands for cont...@bugs.debian.org: > owner 720466 Maximiliano Curia Bug #720466 [wnpp] cinnamon: Crashes when opening the menu, using command window or hot corner Ignoring request to set the owner of bug #720466 to the same value > owner 745878 Maximiliano Curia Bug #745878 [wnpp]

Processed (with 1 errors): Merging duplicates

Processing commands for cont...@bugs.debian.org: > owner 720466 Maximiliano Curia Bug #720466 [wnpp] cinnamon: Crashes when opening the menu, using command window or hot corner Owner recorded as Maximiliano Curia . > owner 745878 Maximiliano Curia Bug #745878 [wnpp] O: Cinnamon -- Cinnamon desk

Processed (with 1 errors): Merging duplicates

Processing commands for cont...@bugs.debian.org: > reassign 720466 wnpp Bug #720466 [cinnamon] cinnamon: Crashes when opening the menu, using command window or hot corner Bug reassigned from package 'cinnamon' to 'wnpp'. No longer marked as found in versions cinnamon/1.7.4-2.2 and cinnamon/1.7.4-