Revision 3dec4a019bfb108064b01f917fcc4ae6da99b67a

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

Fix footer from prod