Skip to content

Conversation

@mgovers
Copy link
Member

@mgovers mgovers commented Feb 6, 2025

Signed-off-by: Martijn Govers <[email protected]>
@mgovers mgovers added the documentation Improvements or additions to documentation label Feb 6, 2025
@mgovers mgovers self-assigned this Feb 6, 2025
@mgovers mgovers marked this pull request as ready for review February 6, 2025 15:07
@mgovers mgovers enabled auto-merge February 6, 2025 15:07
@mgovers mgovers merged commit 7063fb9 into main Feb 7, 2025
1 check passed
@mgovers mgovers deleted the feature/update-citations branch February 7, 2025 08:58
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.

3 participants