On Sun, 27 Jul 2025 at 21:50, Thomas Huth <th.huth@xxxxxxxxx> wrote:
Ok, all right, so I went ahead and pushed it.
Perfect. Even if it's not a regression and it seems that very few people use Hatari in this setup, it's great that there's no need to wait for the next release to have this fixed.