Processed: Re: Bug#835110: debdiff: manpage still mentions debbindiff while it was renamed to diffoscope

Debian Bug Tracking System owner at bugs.debian.org
Mon Aug 22 15:51:30 UTC 2016


Processing commands for control at bugs.debian.org:

> unarchive 818299
Bug #818299 {Done: James McCoy <jamessan at debian.org>} [devscripts] debdiff man page should mention diffoscope, not debbindiff
Unarchived Bug 818299
> forcemerge 818299 835110
Bug #818299 {Done: James McCoy <jamessan at debian.org>} [devscripts] debdiff man page should mention diffoscope, not debbindiff
Bug #835110 [devscripts] debdiff: manpage still mentions debbindiff while it was renamed to diffoscope
Severity set to 'wishlist' from 'minor'
Marked Bug as done
Marked as fixed in versions devscripts/2.16.2.
Marked as found in versions devscripts/2.16.1.
Added tag(s) pending.
Bug #818299 {Done: James McCoy <jamessan at debian.org>} [devscripts] debdiff man page should mention diffoscope, not debbindiff
Marked as found in versions devscripts/2.15.5.
Merged 818299 835110
> archive 818299
Bug #818299 {Done: James McCoy <jamessan at debian.org>} [devscripts] debdiff man page should mention diffoscope, not debbindiff
Bug #835110 {Done: James McCoy <jamessan at debian.org>} [devscripts] debdiff: manpage still mentions debbindiff while it was renamed to diffoscope
archived 818299 to archive/99 (from 818299)
archived 835110 to archive/10 (from 818299)
> thanks
Stopping processing here.

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



More information about the devscripts-devel mailing list