>>>>> "Peter" == Peter Korsgaard <peter at korsgaard.com> writes: > 7.1.2 is a bugfix release, fixing a number of issues: > http://www.php.net/ChangeLog-7.php#7.1.2 > Signed-off-by: Peter Korsgaard <peter at korsgaard.com> Committed, thanks. -- Bye, Peter Korsgaard