Closed davidschreiber closed 1 year ago
Hey folks :) Should we merge this? If it's not desired, we can also close the PR instead.
@marc-antoine-girard I know it's been some time - thank you for the review! I can't merge this PR myself, so I'm just going to warm it up again as part of housekeeping :D
Closing this for the lack of progress.
This fixes a small typo I discovered while browsing the project's sources.