Closed mdlayher closed 5 years ago
Fixes #6.
Travis Linux builders are struggling today, but this passes locally.
Fixes #6.