Processed: FTBFS with CGAL 5.0

Processing control commands: > block 944417 by -1 Bug #944417 [release.debian.org] transition: cgal 944417 was blocked by: 944776 946116 946119 946223 944775 946114 944417 was not blocking any bugs. Added blocking bug(s) of 944417: 946228 -- 944417: https://bugs.debian.org/cgi-bin/bugreport.cgi?

Processed: FTBFS with CGAL 5.0

Processing control commands: > block 944417 by -1 Bug #944417 [release.debian.org] transition: cgal 944417 was blocked by: 944776 944775 946114 944417 was not blocking any bugs. Added blocking bug(s) of 944417: 946116 -- 944417: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944417 946116: ht