Created by: dragetd
Identical to PR #18 plus the comments from the discussion. Fixes #15 (closed)
Merge details
Mentions issue #15 (closed)
Merged by: dragetd at 2017-12-05 07:06:52 UTC
(Aug 13, 2025 8:12am UTC) 