Processed (with 1 error): Singular4: readline migration: piping error

[Debian Bug Tracking System]

Processing commands for control at 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 owner at bugs.debian.org with problems