@dan It works! I cannot reproduce the bug on the patched host (version 1:2.5+dfsg-5ubuntu10.38+bug1829245v20190516b1 from your ppa).
@dan It works! I cannot reproduce the bug on the patched host (version 1:2.5+dfsg- 5ubuntu10. 38+bug1829245v20190516b1 from your ppa).