stable

Clone or download

Read-only

Helper makefile target `restart-services` still targets PHP 7.2

The dev instances use PHP 7.3 since a133b82bd79447df5c6a1c5a4af9eb77764ff491, the target should have been updated. request #13592: Move dev environments to PHP 7.3 by default Change-Id: I1c51bb1e54f73588f9f08b365ce0db7ebf6c8b0d

Modified Files

Name
M Makefile +2 −2 Go to diff View file