Closed divipp closed 7 years ago
Fixes issue #34
Great, thanks! I cherry-picked this into #25.
Closing in favor of #25.
Fixes issue #34