Ubuntu
php7.2 package

  1. Bionic (18.04)
  2. Bug #1814511
  3. Comment #5

Comment 5 for bug 1814511

Revision history for this message
Martin Heide (heidemn) wrote :

Hi Andreas, so far I didn't succeed to generate a simple script to reproduce.
Will try to put more effort soon.

I suspect that the issue is similar to the following upstream bugs, but I couldn't reproduce them on my Ubuntu 18.04.1.

https://bugs.php.net/bug.php?id=76281
https://bugs.php.net/bug.php?id=76029