Revision 013d9f09164f6a02a9c50af794f5d3a9600cfc43

Committed on 14/07/2020 2:13 pm by Fabien Potencier <[email protected]> [GitHub Diff]

Add a note about the Github action