Joachim Reichel Tue, 03 Dec 2019 13:22:12 -0800
Control: severity -1 serious Control: tag -1 ftbfs Control: block 944417 by -1
The CGAL transition has started (see bug #944417). Raising the severity to RC. Joachim
