>>>>> "Bernd" == Bernd Kuhls <bernd.kuhls at t-online.de> writes: > Changelog: https://www.php.net/ChangeLog-7.php#7.3.7 > Signed-off-by: Bernd Kuhls <bernd.kuhls at t-online.de> Committed, thanks. Given the fixes, should this be applied to 2019.02.x and 2019.05.x as well? -- Bye, Peter Korsgaard