Closed aubincleme closed 6 years ago
@aubincleme thanks for putting together a proper PR! It was my mistake to not create a separate branch for that bugfix, I didn't realize that all my subsequent patches/debugging were being added to what I had submitted :). Glad that this is merged.
This pull request fixes the issue described in #133 and for which a patch was proposed in #137. Please note that all of the credits for fixing this issue should go to @mhuebert :) .
Unfortunately, #137 now has extra commits that are not relevant for this particular issue.