Processing commands for cont...@bugs.debian.org:
> reassign 880721 doctest-dev 1.2.5+repack0-2
Bug #880721 {Done: Didier Raboud <o...@debian.org>} [src:doctest] doctest-dev
built without doctest.h
Bug reassigned from package 'src:doctest' to 'doctest-dev'.
No longer marked as found in versions doctest/1.2.5+repack0-2.
No longer marked as fixed in versions doctest/1.2.6+repack0-2.
Bug #880721 {Done: Didier Raboud <o...@debian.org>} [doctest-dev] doctest-dev
built without doctest.h
Marked as found in versions doctest/1.2.5+repack0-2.
> fixed 880721 1.2.6+repack0-2
Bug #880721 {Done: Didier Raboud <o...@debian.org>} [doctest-dev] doctest-dev
built without doctest.h
Marked as fixed in versions doctest/1.2.6+repack0-2.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
880721: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=880721
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
