Revision a2dcd925ddd4abff332ca67fe9a02d910d3c6c51

Committed on 11/07/2020 3:23 am by Luca Realdi <[email protected]> [GitHub Diff]

Fix workflow installer