Understood. I have reported the bug to Debian, it can be seen on http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=429885 (as is incidentally now indicated in the bug status above)
-- [patch] fix broken --stdin-stdout option that writes to stdin https://bugs.launchpad.net/bugs/121458 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
