Skip to content

Conversation

@czurnieden
Copy link
Contributor

Resolve TODO as listed in #388

@minad
Copy link
Member

minad commented Oct 19, 2019

Thanks!!

@minad minad self-requested a review October 19, 2019 18:47
@minad minad mentioned this pull request Oct 20, 2019
@minad minad added the finished label Oct 20, 2019
@sjaeckel sjaeckel force-pushed the sans_eight_frobenius branch from 8c86557 to e8fc3a5 Compare October 20, 2019 10:39
@sjaeckel sjaeckel merged commit 04a1160 into libtom:develop Oct 20, 2019
@sjaeckel sjaeckel removed the finished label Oct 20, 2019
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