Revision 4e0cea347f8971026b40c4444df339369a3d1643
Committed on 14/07/2020 2:14 pm by
Fabien Potencier <[email protected]> [GitHub Diff]
minor #172 Add a note about the Github action (fabpot)
This PR was merged into the 6.0-dev branch.
Discussion
----------
Add a note about the Github action
Commits
-------
013d9f0 Add a note about the Github action