pong. the bug was fixed in a -5 upload without the upstream cherrypicking patch. i'll prepare another upload (also fixing the bug title with a -6) On 22/11/2020 18:30, Tobias Frost wrote: > ping? >