Revision 4de4b157776d181e1a22bed8fd817c2f1f1c18ec

Committed on 08/02/2019 2:15 am by Raffaele Luccisano <raffaele.luccisano@gmail.com> [GitHub Diff]

Fix settings prod