[Vrms-devel] Processed (with 1 error): cleanup

Debian Bug Tracking System owner at bugs.debian.org
Mon Dec 18 15:48:05 UTC 2017


Processing commands for control at bugs.debian.org:

> severity 826074 wishlist
Bug #826074 [vrms] vrms: Does not list package installed using .deb file.
Severity set to 'wishlist' from 'normal'
> severity 537941 wishlist
Bug #537941 [vrms] vrms: Don't list GDL packages, but do list .NET applications
Severity set to 'wishlist' from 'normal'
> merge 537941 628535
Bug #537941 [vrms] vrms: Don't list GDL packages, but do list .NET applications
Bug #628535 [vrms] GNU docs are nonfree, but vrms should think otherwise
Marked as found in versions vrms/1.14.
Merged 537941 628535
> merge 723999 826074
Bug #723999 [vrms] Google Chrome is not detected as non free software
Unable to merge bugs because:
severity of #826074 is 'wishlist' not 'normal'
Failed to merge 723999: Did not alter merged bugs.

> retitle 826074 vrms: cannot detect freeness of software in external repos
Bug #826074 [vrms] vrms: Does not list package installed using .deb file.
Changed Bug title to 'vrms: cannot detect freeness of software in external repos' from 'vrms: Does not list package installed using .deb file.'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
537941: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=537941
628535: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=628535
723999: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=723999
826074: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=826074
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the Vrms-devel mailing list