Revision 54604f4489740aa9fd05006713d226c50e785ba9

Committed on 10/03/2020 7:47 am by Luca Realdi <[email protected]> [GitHub Diff]

Update font awesome to 4.7