You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.
IMHO we could close this unmerged if PR #882 gets merged because all issues then seem to have been fixed in other PRs.
@b4n, @kugel-: what do you think?
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.