Processed: severity of 1040718 is serious, severity of 1040723 is serious, severity of 1040728 is serious ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 1040718 serious
Bug #1040718 [src:fclib] fclib: autopkgtest failure due to new CMake deprecation warning
Severity set to 'serious' from 'important'
> severity 1040723 serious
Bug #1040723 [src:cppzmq] cppzmq: autopkgtest failure due to new CMake deprecation warning
Severity set to 'serious' from 'important'
> severity 1040728 serious
Bug #1040728 [src:glm] glm: autopkgtest failure due to new CMake deprecation warning
Severity set to 'serious' from 'important'
> severity 1040729 serious
Bug #1040729 [src:oce] oce: autopkgtest failure due to new CMake deprecation warning
Severity set to 'serious' from 'important'
> severity 1040730 serious
Bug #1040730 [src:khronos-opencl-clhpp] khronos-opencl-clhpp: autopkgtest failure due to new CMake deprecation warning
Severity set to 'serious' from 'important'
> severity 1040731 serious
Bug #1040731 [src:wslay] wslay: autopkgtest failure due to new CMake deprecation warning
Severity set to 'serious' from 'important'
> severity 1040733 serious
Bug #1040733 [src:docopt.cpp] docopt.cpp: autopkgtest failure due to new CMake deprecation warning
Severity set to 'serious' from 'important'
> severity 1040735 serious
Bug #1040735 [src:ms-gsl] ms-gsl: autopkgtest failure due to new CMake deprecation warning
Severity set to 'serious' from 'important'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1040718: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040718
1040723: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040723
1040728: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040728
1040729: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040729
1040730: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040730
1040731: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040731
1040733: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040733
1040735: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040735
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems