Processed: singular: FTBFS with GCC 6: segfault

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 831072 singular: FTBFS with GCC 6: segfault
Bug #831072 [src:singular] singular: FTBFS with GCC 6: help2man: can't get `--help' info from /«BUILDDIR»/singular-4.0.3-p1+ds/Singular/Singular
Changed Bug title to 'singular: FTBFS with GCC 6: segfault' from 'singular: FTBFS with GCC 6: help2man: can't get `--help' info from /«BUILDDIR»/singular-4.0.3-p1+ds/Singular/Singular'.
> thanks
Stopping processing here.

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