Skip to content

prevent dirty git tags

René Fritze requested to merge dirty_tag into master

This also sets the full git commit hash as the tag instead of the shortened one used before.

Merge request reports