Skip to content

Conversation

@MatKuhr
Copy link
Member

@MatKuhr MatKuhr commented Jan 21, 2025

Leftover of #278

@MatKuhr MatKuhr added the please-review Request to review a pull-request label Jan 21, 2025
@MatKuhr MatKuhr merged commit a7b2b87 into main Jan 21, 2025
6 checks passed
@MatKuhr MatKuhr deleted the fix/missing-spring-docs branch January 21, 2025 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

please-review Request to review a pull-request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants