From: Tom Hughes <tom@compton.nu>
Date: Tue, 26 Jun 2018 14:13:50 +0000 (+0100)
Subject: Use PHP 7.2 on the dev server
X-Git-Url: https://git.openstreetmap.org/chef.git/commitdiff_plain/5ae823acdfd3efcf3c73a57a7bbec91486bed3c0?ds=sidebyside;hp=5ae823acdfd3efcf3c73a57a7bbec91486bed3c0

Use PHP 7.2 on the dev server
---