Processing commands for cont...@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 ow...@bugs.debian.org with problems
