tagtool: bugfixes and related changes #982

Merged
max.mehl merged 5 commits from jzarl/fsfe-website:tagtool-improvements into master 2019-06-12 14:46:44 +00:00
Member

--remove-tag did not work, and there were some typos in the docs.

--remove-tag did not work, and there were some typos in the docs.
jzarl changed title from tagtool: bugfixes to WIP: tagtool: bugfixes 2019-06-10 21:03:33 +00:00
jzarl changed title from WIP: tagtool: bugfixes to tagtool: bugfixes and related changes 2019-06-10 21:16:06 +00:00
Author
Member

The final commit in this PR now removes some tags that failed to be removed previously when working on issue #827...

The final commit in this PR now removes some tags that failed to be removed previously when working on issue #827...
Owner

Excellent, thank you!

Excellent, thank you!
max.mehl closed this pull request 2019-06-12 14:46:44 +00:00
jzarl deleted branch tagtool-improvements 2019-06-12 20:14:02 +00:00
Sign in to join this conversation.
No description provided.