Skip to content

Conversation

@Zethson
Copy link
Member

@Zethson Zethson commented Jan 9, 2026

Signed-off-by: Lukas Heumos <lukas.heumos@posteo.net>
@github-actions github-actions bot added chore enhancement New feature or request labels Jan 9, 2026
@Zethson Zethson added documentation Improvements or additions to documentation and removed enhancement New feature or request chore labels Jan 9, 2026
@Zethson Zethson merged commit 1cb453d into main Jan 9, 2026
17 checks passed
@Zethson Zethson deleted the feature/citation branch January 9, 2026 13:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants