Processing commands for cont...@bugs.debian.org: > forwarded 944417 https://release.debian.org/transitions/html/cgal_5.0.html Bug #944417 [release.debian.org] transition: cgal Set Bug forwarded-to-address to 'https://release.debian.org/transitions/html/cgal_5.0.html'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 944417: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944417 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
