[Debian-med-packaging] Processed: reassign 1104658 to tao-json-dev, reassign 1104656 to tao-json-dev, forcibly merging 1104656 1104658

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 1104658 tao-json-dev 1.0.0~beta14-1
Bug #1104658 [src:xenium] xenium: FTBFS: /usr/include/tao/json/internal/type_traits.hpp:10:10: fatal error: tao/pegtl/type_list.hpp: No such file or directory
Bug reassigned from package 'src:xenium' to 'tao-json-dev'.
No longer marked as found in versions xenium/0.0.2+ds-8.
Ignoring request to alter fixed versions of bug #1104658 to the same values previously set
Bug #1104658 [tao-json-dev] xenium: FTBFS: /usr/include/tao/json/internal/type_traits.hpp:10:10: fatal error: tao/pegtl/type_list.hpp: No such file or directory
Marked as found in versions tao-json/1.0.0~beta14-1.
> reassign 1104656 tao-json-dev 1.0.0~beta14-1
Bug #1104656 [src:tao-config] tao-config: FTBFS: /usr/include/tao/json/internal/type_traits.hpp:10:10: fatal error: tao/pegtl/type_list.hpp: No such file or directory
Bug reassigned from package 'src:tao-config' to 'tao-json-dev'.
No longer marked as found in versions tao-config/0.0+git20200604.84a7383-2.
Ignoring request to alter fixed versions of bug #1104656 to the same values previously set
Bug #1104656 [tao-json-dev] tao-config: FTBFS: /usr/include/tao/json/internal/type_traits.hpp:10:10: fatal error: tao/pegtl/type_list.hpp: No such file or directory
Marked as found in versions tao-json/1.0.0~beta14-1.
> forcemerge 1104656 1104658
Bug #1104656 [tao-json-dev] tao-config: FTBFS: /usr/include/tao/json/internal/type_traits.hpp:10:10: fatal error: tao/pegtl/type_list.hpp: No such file or directory
Bug #1104658 [tao-json-dev] xenium: FTBFS: /usr/include/tao/json/internal/type_traits.hpp:10:10: fatal error: tao/pegtl/type_list.hpp: No such file or directory
Merged 1104656 1104658
> thanks
Stopping processing here.

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