Hi Dmitry,

> -----Original Message-----
> From: Dmitry Stogov [mailto:dmi...@zend.com]
> Sent: Tuesday, November 15, 2016 4:20 PM
> To: php-...@coydogsoftware.net
> Cc: ras...@lerdorf.com; internals@lists.php.net; Anatol Belski
(a...@php.net)
> <a...@php.net>; Zeev Suraski <z...@zend.com>; Nikita Popov <ni...@php.net>;
> Julien Pauli <julienpa...@gmail.com>; Joe Watkins <pthre...@pthreads.org>
> 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

Reply via email to