Completed
Push — 20180611 ( e94eec...6bd5c6 )
by Karsten
06:20
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.06
▶   ± 0
Head
Karsten Hoffmeyer  
Update Maps_Settings.php
Base
Jeroen De Dauw  
5.3.0 release