Hello, Thank you for taking the time to make this bug report. I can confirm this would be a straightforward fix for 20.04. I was unable to reproduce it personally using the test case provided in the PHP bug report. Is there a specific way you have been able to reproduce it?
Thanks -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1968228 Title: RTD collision with opcache To manage notifications about this bug go to: https://bugs.launchpad.net/php/+bug/1968228/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
