Processed: your mail
Processing commands for control@bugs.debian.org:
> user mattia@mapreri.org
Setting user to mattia@mapreri.org (was mattia@mapreri.org).
> tag 632656 + patch
Bug #632656 [dropbear] dropbear: duplicate mount /dev/pts in initramfs
Added tag(s) patch.
> merge 562848 490702
Bug #562848 [wnpp] RFP: pencil -- Traditional animation/drawing software
Bug #490702 [wnpp] RFP: pencil -- Traditional animation/drawing software
Bug #490702 [wnpp] RFP: pencil -- Traditional animation/drawing software
Merged 490702 562848
> usertag 490702 + wiildos
There were no usertags set.
Usertags are now: wiildos.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
490702: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=490702
562848: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=562848
632656: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=632656
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: