]> git.openstreetmap.org Git - nominatim.git/commit
Merge pull request #1303 from mtmail/remove-deprecated-phpunit-config-key
authorSarah Hoffmann <lonvia@denofr.de>
Sat, 9 Feb 2019 08:54:34 +0000 (09:54 +0100)
committerGitHub <noreply@github.com>
Sat, 9 Feb 2019 08:54:34 +0000 (09:54 +0100)
commitdd5315cbaa75035d27265abb781299670c2a02cd
tree7bb51c03c03f4865af84dd322edef9c419187a59
parent57ca1e0cf6133506920fadc0eb5a0ee3d1ed5b91
parentb56f7e8ad24be72ebeabfcd9ee32cf1ccdfd30e5
Merge pull request #1303 from mtmail/remove-deprecated-phpunit-config-key

remove phpunit config key deprecated since version 3.5