Hi Bryce, I just created an updated Docker image from the current state of ubuntu:19.10, using Ubuntu's "php7.3" package. I could no longer reproduce the bug.
Will check again with the current state of ubuntu:18.04 + its "php7.2" package.
Best regards Martin
Hi Bryce,
I just created an updated Docker image from the current state of ubuntu:19.10, using Ubuntu's "php7.3" package.
I could no longer reproduce the bug.
Will check again with the current state of ubuntu:18.04 + its "php7.2" package.
Best regards
Martin