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