Ubuntu
php7.2 package

  1. Bug #1905109
  2. Comment #5

Comment 5 for bug 1905109

Revision history for this message
Bryce Harrington (bryce) wrote :

Thanks for the pointers Bob, that patch does indeed look like a fix for this. I notice there was also a subsequent bugfix for https://bugs.php.net/patch-display.php?bug_id=77612.