Skip to content

Conversation

MatthewDaggitt
Copy link
Contributor

Something I forgot to do in #876.

Using travis and the deprecation warnings to find places I need to change as my laptop is dying.

@MatthewDaggitt MatthewDaggitt merged commit 027ed8a into master Jan 21, 2020
@MatthewDaggitt MatthewDaggitt deleted the move-algebra-consequences branch January 21, 2020 11:33
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