Closed JanReifenrath closed 2 months ago
Please add the type of change as label. If your PR is not ready for review and merge, please add 🚧 to the PR title.
🚧
Please add a clear and concise description of what your PR solves.
Closes #
-
main
git rebase main
Please check all finished tasks. If some tasks do not apply to your PR, please cross their text out (by using ~...~) and remove their checkboxes.
~...~
Please add the type of change as label. If your PR is not ready for review and merge, please add
🚧
to the PR title.Description
Please add a clear and concise description of what your PR solves.
Corresponding issue
Closes #
New or changed dependencies
-
Checklist
main
(e.g. throughgit rebase main
)Please check all finished tasks. If some tasks do not apply to your PR, please cross their text out (by using
~...~
) and remove their checkboxes.