Skip to content

Conversation

@gbaz
Copy link
Contributor

@gbaz gbaz commented Jan 4, 2023

resolves #1155

also bundles up a fix to the maintainer template to link to the test enable page properly.

@gbaz gbaz merged commit 6384905 into master Jan 4, 2023
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.

Fix partiality in bimap lookup

2 participants