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