Question #242073 on PHPDevShell changed: https://answers.launchpad.net/phpdevshell/+question/242073
Greg posted a new comment: Fix commited: https://bugs.launchpad.net/phpdevshell/+bug/1268890 BTW please prefer using the bug reporter for bugs :) Thanks -- You received this question notification because you are a member of PHPDevShell, which is an answer contact for PHPDevShell. _______________________________________________ Mailing list: https://launchpad.net/~phpdevshell Post to : [email protected] Unsubscribe : https://launchpad.net/~phpdevshell More help : https://help.launchpad.net/ListHelp
