Processing commands for [email protected]: > unarchive 625524 Bug #625524 {Done: Jeremy Malcolm <[email protected]>} [src:jsonbot] jsonbot: missing source for jquery.js Unarchived Bug 625524 > forcemerge 625524 736732 Bug #625524 {Done: Jeremy Malcolm <[email protected]>} [src:jsonbot] jsonbot: missing source for jquery.js Bug #736732 [src:jsonbot] [src:jsonbot] Sourceless file Marked Bug as done Marked as fixed in versions jsonbot/0.7.1.2-1. Marked as found in versions jsonbot/0.6.1.2-1. Bug #625524 {Done: Jeremy Malcolm <[email protected]>} [src:jsonbot] jsonbot: missing source for jquery.js Marked as found in versions jsonbot/0.84.4-1. Merged 625524 736732 > thanks Stopping processing here.
Please contact me if you need assistance. -- 625524: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=625524 736732: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=736732 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
