]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-8.0'
authorGabriel Caruso <carusogabriel34@gmail.com>
Tue, 15 Dec 2020 14:05:19 +0000 (11:05 -0300)
committerGabriel Caruso <carusogabriel34@gmail.com>
Tue, 15 Dec 2020 14:05:19 +0000 (11:05 -0300)

Trivial merge