Processed: Re: vmix floating-point mode does not use proper API on Linux

2012-12-14 Thread Debian Bug Tracking System
Processing control commands: > severity -1 wishlist Bug #693659 [src:oss4] vmix floating-point mode does not use proper API on Linux Severity set to 'wishlist' from 'grave' > retitle -1 oss4: switch back to vmix floating-point mode once Bug #693659 [src:oss4] vmix floating-point mode does not use

Processed: Re: vmix floating-point mode does not use proper API on Linux

2012-12-14 Thread Debian Bug Tracking System
Processing control commands: > severity -1 grave Bug #693659 [src:oss4] vmix floating-point mode does not use proper API on Linux Ignoring request to change severity of Bug 693659 to the same value. -- 693659: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=693659 Debian Bug Tracking System Con

Processed: Re: vmix floating-point mode does not use proper API on Linux

2012-12-14 Thread Debian Bug Tracking System
Processing control commands: > severity -1 grave Bug #693659 [src:oss4] vmix floating-point mode does not use proper API on Linux Severity set to 'grave' from 'wishlist' -- 693659: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=693659 Debian Bug Tracking System Contact ow...@bugs.debian.org wi

Processed: Re: vmix floating-point mode does not use proper API on Linux

2012-12-05 Thread Debian Bug Tracking System
Processing control commands: > severity -1 wishlist Bug #693659 {Done: Michael Gilbert } [src:oss4] vmix floating-point mode does not use proper API on Linux Severity set to 'wishlist' from 'grave' > tag -1 upstream Bug #693659 {Done: Michael Gilbert } [src:oss4] vmix floating-point mode does no