Dear @wbernest, please merge some of the outstanding PRs (#46, #51, #52, #53) - they are all rather small, but address and maybe close some raised issues (#54, #47, #45). Also, since #40 is already merged, #32, #33, #49 could then be closed, too.
Thanks!
Dear @wbernest, please merge some of the outstanding PRs (#46, #51, #52, #53) - they are all rather small, but address and maybe close some raised issues (#54, #47, #45). Also, since #40 is already merged, #32, #33, #49 could then be closed, too.
Thanks!