Processing commands for [email protected]: > close 511215 Bug #511215 [bash] process substitution without /dev/fd Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 511215: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=511215 Debian Bug Tracking System Contact [email protected] with problems
