Processing commands for cont...@bugs.debian.org: > severity 1015974 normal Bug #1015974 [src:gnat-gps] Should gnat-gps be removed? Severity set to 'normal' from 'serious' > retitle 1015974 gnat-gps: new version available using python 3 Bug #1015974 [src:gnat-gps] Should gnat-gps be removed? Changed Bug title to 'gnat-gps: new version available using python 3' from 'Should gnat-gps be removed?'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1015974: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1015974 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
