]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2704 from mtmail/migrate-phpunit-xml-schema
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 10 May 2022 15:44:34 +0000 (17:44 +0200)
committerGitHub <noreply@github.com>
Tue, 10 May 2022 15:44:34 +0000 (17:44 +0200)
PHPUnit 9 changed configuration schema slightly


Trivial merge