On Sun, 29 Aug 2021 12:58:56 +0200 Omar Polo <o...@omarpolo.com>: > Stuart Henderson <s...@spacehopper.org> writes: > > > Try > > https://github.com/dino/dino/commit/7cedb64d3f550908b85b776dc8db49746c55e291 > > > > Yep, it builds and works! Thanks! >
I can confirm, thank you for the diff too. I'll commit this.