Olle E. Johansson writes:

> Are we done with this issue and can close it?

Yes, it can be closed. I tried to do it, but was not able to figure out
how. It looked that I would first need assign the issue to me, but that
would not have been correct, because it was Daniel who fixed the bug.

-- Juha


Reply to this email directly or view it on GitHub.