Processed (with 1 error): Duplicate!
Processing commands for control@bugs.debian.org:
> merge #1093324 #1093100
Bug #1093324 [src:coq-doc] coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package
Unable to merge bugs because:
severity of #1093100 is 'important' not 'serious'
Failed to merge 1093324: Did not alter merged bugs.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
1093100: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1093100
1093324: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1093324
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: