(In reply to comment #41) > Is this right?
Yes. So was his previous patch -- I fixed it by hand and then forgot to upload a fixed version, sorry about that.
(In reply to comment #41)
> Is this right?
Yes. So was his previous patch -- I fixed it by hand and then forgot to upload a fixed version, sorry about that.