Skip to content

Fix tag duplication issue#37

Merged
tib merged 3 commits intomainfrom
fix/tag-duplication
Feb 6, 2026
Merged

Fix tag duplication issue#37
tib merged 3 commits intomainfrom
fix/tag-duplication

Conversation

@tib
Copy link
Contributor

@tib tib commented Feb 5, 2026

  • fix tag duplication
  • test tag deduplication at document level
  • prep work for next release in README.md

@tib tib requested review from GErP83, mzpx and viaszkadi February 5, 2026 21:10
@tib tib merged commit 53179d9 into main Feb 6, 2026
17 checks passed
@tib tib deleted the fix/tag-duplication branch February 6, 2026 09:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants