Processing commands for cont...@bugs.debian.org:
> forwarded 831072 https://github.com/Singular/Sources/issues/772
Bug #831072 [src:singular] singular: FTBFS with GCC 6: segfault
Set Bug forwarded-to-address to
'https://github.com/Singular/Sources/issues/772'.
> thanks
Stopping processing here.
Processing commands for cont...@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
