Closed drlippman closed 6 years ago
Fixes issue #74
Since there have been no concerns raised, and this is a fairly minor change, in an effort to close some lingering PRs I'm going to merge this.
Fixes issue #74