Revision 3dec4a019bfb108064b01f917fcc4ae6da99b67a

Committed on 08/02/2019 2:18 am by Raffaele Luccisano <[email protected]> [GitHub Diff]

Fix footer from prod