[15:45:58] <github-bm>	 [13LocalSettings] 15mary-kate pushed 1 new commit to 06master: 02https://git.io/v6MBW
[15:45:58] <github-bm>	 13LocalSettings/06master 144c31c76 15Jack Phoenix: Delete completely unused LocalSettings_books.php file...
[15:50:19] <github-bm>	 [13LocalSettings] 15mary-kate pushed 1 new commit to 06master: 02https://git.io/v6MB6
[15:50:19] <github-bm>	 13LocalSettings/06master 144a77000 15Jack Phoenix: Update extension settings file to reflect production...