Processing commands for cont...@bugs.debian.org:
> unarchive 625524
Bug #625524 {Done: Jeremy Malcolm <termi...@debian.org>} [src:jsonbot] jsonbot:
missing source for jquery.js
Unarchived Bug 625524
> forcemerge 625524 736732
Bug #625524 {Done: Jeremy Malcolm <termi...@debian.org>} [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 <termi...@debian.org>} [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 ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
