Done; thanks for the ping!
cc'ing Nuno, our GCOV guy!2017-07-18 21:32 GMT+02:00 Sara Golemon <poll...@php.net>:Looks like I don't have karma to add PHP_7_2 to gcov runs, could someone do that for me? Thanks.-- regards, Kalle Sommer Nielsen ka...@php.net
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
