Processing commands for cont...@bugs.debian.org:

> severity 840481 serious
Bug #840481 [singular-ui] singular-ui: segfault when piping to stdin
Severity set to 'serious' from 'important'
> retitle 840481 Singular4: readline migration: piping error
Bug #840481 [singular-ui] singular-ui: segfault when piping to stdin
Changed Bug title to 'Singular4: readline migration: piping error' from 
'singular-ui: segfault when piping to stdin'.
> forwarded 840481 https://github.com/Singular/Sources/issues/799
Bug #840481 [singular-ui] Singular4: readline migration: piping error
Changed Bug forwarded-to-address to 
'https://github.com/Singular/Sources/issues/799' from 
'https://www.singular.uni-kl.de:8005/trac/ticket/775'.
> bye
Unknown command or malformed arguments to command.
>
End of message, stopping processing here.

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

-- 
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers

Reply via email to