On 26/11/20 at 11:57 +0800, Shengjing Zhu wrote: > I have pushed a fix to salsa, should I just close this bug, or you > prefer cloning a new one?
I think that using this bug is fine. I'll reopen another bug if I can reproduce the previous issue. Lucas
