Ubuntu builds are now hitting this same issue. The corresponding bug on launchpad:
https://bugs.launchpad.net/debian/+source/gauche-gtk/+bug/1934534
Ubuntu builds are now hitting this same issue. The corresponding bug on launchpad:
https://bugs.launchpad.net/debian/+source/gauche-gtk/+bug/1934534