(In reply to comment #24)
> Peter: what patch are you talking about?
> commit 37b1258f0a288a79ce6a3eef3559e17a67c4dd96
> in the master branch fixes this issue for me
cool thx.
Just for correctness, I'm marking this bug as FIXED instead of NOTABUG. The originally reported bug was in fact fixed, the other issue reported by Raul is a separate bug (and not ours)
(In reply to comment #24) 9ce6a3eef3559e1 7a67c4dd96
> Peter: what patch are you talking about?
> commit 37b1258f0a288a7
> in the master branch fixes this issue for me
cool thx.
Just for correctness, I'm marking this bug as FIXED instead of NOTABUG. The originally reported bug was in fact fixed, the other issue reported by Raul is a separate bug (and not ours)