From: Nikita Popov <nikita.ppv@gmail.com>
Date: Fri, 13 Dec 2019 10:05:41 +0000 (+0100)
Subject: Merge branch 'PHP-7.4'
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a40a69fdd058cdcb7da5d4527ea6c7dd261417b7;p=php

Merge branch 'PHP-7.4'

* PHP-7.4:
  Introduce extra counter to avoid RTD key collisions
---

a40a69fdd058cdcb7da5d4527ea6c7dd261417b7