]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-8.0'
authorGabriel Caruso <carusogabriel34@gmail.com>
Tue, 19 Jan 2021 16:15:58 +0000 (13:15 -0300)
committerGabriel Caruso <carusogabriel34@gmail.com>
Tue, 19 Jan 2021 16:15:58 +0000 (13:15 -0300)

Trivial merge