On Thu, Sep 15 2022, Stefan Kangas wrote:

> However, I think we should avoid mocking out that function, so I
> attempted to solve this in a more clean way on master.  Could you please
> rebuild latest master, and verify that the bug is fixed for you too?

Yes, it works well. Thanks!

-- 
           Peter