Closed jachiang closed 4 years ago
Addresses #58.
Much better. Thanks @jachiang!
For future reference: If you write "closes #\" or "resolves #\" in the PR description, the issue will get closed automatically when the PR is merged.
Addresses #58.