Skip to content

Conversation

MatthewDaggitt
Copy link
Contributor

@MatthewDaggitt MatthewDaggitt commented Sep 22, 2019

See #876

@MatthewDaggitt MatthewDaggitt added this to the v1.2 milestone Sep 22, 2019
@MatthewDaggitt MatthewDaggitt merged commit 2f6d78d into master Sep 29, 2019
@MatthewDaggitt MatthewDaggitt deleted the indexed-binary-relation-hierarchies branch September 29, 2019 05:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant