#7: correct settings.php patch

This commit is contained in:
Mario Fetka 2017-10-20 15:35:35 +02:00
commit a7bc17e687
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 6e95c7dfaea2e6e403b110630a6433149d4290ce
Subproject commit bbf5043eab2fcb1764bf4ad52cdf1a9a91b7fff4