No matches were found for subject:"\[PHP\-DEV\] PHP 4.0 Bug #3285 Updated\: Cannot feed command stdin and get output, etc."