Skip to content

Conversation

@herbelin
Copy link
Contributor

@herbelin herbelin commented Jun 5, 2021

See #6.

This is on top of the port to 8.13 but it would be easy to adapt to current 8.6-based master (main fix is in
609d11e).

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.

1 participant