Revision 54604f4489740aa9fd05006713d226c50e785ba9

Committed on 10/03/2020 7:47 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Update font awesome to 4.7