PHP 7.3 better delay the update

Hello everyone,

I just noticed that PHP 7.3 is currently rolled out and offered as update in several OS.
A look at Github showed, that there are still some issues with the new PHP version and therefore an update to 7.3 is probably not the best idea.

If you can, rather delay this update a few days until the issues have been sorted out.
Just wanted to warn you.