Zykino 75ca5735a8 Tagging script should run the test and force formatting => dirty repo will prevent the tagging

2022-10-26 23:54:46 +02:00

..

git-tag.sh

Tagging script should run the test and force formatting => dirty repo will prevent the tagging

2022-10-26 23:54:46 +02:00