Hi Dmitry, > -----Original Message----- > From: Dmitry Stogov [mailto:[email protected]] > Sent: Tuesday, November 15, 2016 4:20 PM > To: [email protected] > Cc: [email protected]; [email protected]; Anatol Belski ([email protected]) > <[email protected]>; Zeev Suraski <[email protected]>; Nikita Popov <[email protected]>; > Julien Pauli <[email protected]>; Joe Watkins <[email protected]> > Subject: [PHP-DEV] Re: [PATCH] opcache bug #69090, prepend user identifier to > keys > > New patch, attached to bug report, should fix both problems. > > I'm going to commit it tomorrow, if no objections. > Looks like the issues are resolved, so probably looks ok for 7.0, as for me. Any chance some phpt could be added?
Thanks Anatol -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
