v20.11.00

Previous commit was pushed without the tag (git push remote master),
and now git rejects a git push v20.11.00
So, adding another commit with the tag!
This commit is contained in:
Jonathan Druart 2020-11-27 17:36:04 +01:00
parent 5deae26ae8
commit 12491ffca8

Diff content is not available