Processed: Raising the bug's severity

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 975430 serious
Bug #975430 [libcutl] libcutl: FTBFS against boost_1.74
Severity set to 'serious' from 'important'
> severity 975588 serious
Bug #975588 [openms] openms: FTBFS against boost_1.74
Severity set to 'serious' from 'important'
> severity 975593 serious
Bug #975593 [python-mapnik] python-mapnik: FTBFS against boost_1.74
Severity set to 'serious' from 'important'
> severity 975660 serious
Bug #975660 [scram] scram: FTBFS against boost_1.74
Severity set to 'serious' from 'important'
> severity 975665 serious
Bug #975665 [slic3r-prusa] slic3r-prusa: FTBFS against boost_1.74
Severity set to 'serious' from 'important'
> severity 975666 serious
Bug #975666 [sslsniff] sslsniff: FTBFS against boost_1.74
Severity set to 'serious' from 'important'
> severity 975667 serious
Bug #975667 [supercollider] supercollider: FTBFS against boost_1.74
Severity set to 'serious' from 'important'
> severity 975672 serious
Bug #975672 [xylib] xylib: FTBFS against boost_1.74
Severity set to 'serious' from 'important'
> severity 975863 serious
Bug #975863 [leatherman] leatherman: /usr/include/boost/nowide/ are shipped by boost_1.74
Ignoring request to change severity of Bug 975863 to the same value.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
975430: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975430
975588: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975588
975593: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975593
975660: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975660
975665: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975665
975666: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975666
975667: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975667
975672: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975672
975863: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975863
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems