>>>>> "Bernd" == Bernd Kuhls <bernd.kuhls at t-online.de> writes: > Release notes of this bugfix release: > https://www.php.net/ChangeLog-7.php#7.3.12 > Signed-off-by: Bernd Kuhls <bernd.kuhls at t-online.de> Committed to 2019.02.x and 2019.08.x, thanks. -- Bye, Peter Korsgaard