Skip to content
This repository has been archived by the owner on Mar 27, 2019. It is now read-only.

Take advantage of magma pull request 72 #55

Open
Gaspard-- opened this issue Oct 10, 2018 · 0 comments
Open

Take advantage of magma pull request 72 #55

Gaspard-- opened this issue Oct 10, 2018 · 0 comments
Assignees
@Gaspard--
Labels
cleanup

Comments

@Gaspard--
Copy link
Member

Gaspard--/magma#72 simplifies the API a bit and makes it more readable.
@Gaspard-- Gaspard-- self-assigned this Oct 10, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@Gaspard-- Gaspard--

Labels
cleanup
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Gaspard--