Closed sameer closed 5 years ago
This PR fixes #136, since the nightly feature is now redundant.
Thanks @sameer!
This PR fixes #136, since the nightly feature is now redundant.