Use PHP 7.2 for Nominatim on 18.04
[chef.git] / .mailmap
2014-05-26 Tom HughesAdd mailmap