On 2023-07-24 11:56, Eberhard Beilharz wrote:
I just uploaded 16.0.140-1 to mentors which contains a fix.
Added a reference to this bug in d/changelog and sponsored. / Gunnar