Skip to content

Conversation

@auerswal
Copy link
Collaborator

The other way around was already documented in commit ae0bc23, but GitHub pull request #337 by Moritz Lenz implies that this is insufficient.

The other way around was already documented in commit
ae0bc23, but GitHub
pull request schweikert#337 by Moritz Lenz implies that this is
insufficient.
@coveralls
Copy link

Coverage Status

coverage: 85.512%. remained the same
when pulling 49f4b48 on auerswal:docs01
into 04950d2 on schweikert:develop.

@schweikert schweikert merged commit f0acc5c into schweikert:develop Aug 1, 2024
@auerswal auerswal deleted the docs01 branch August 4, 2024 15:26
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.

3 participants