On Sun, 29 Aug 2021 12:58:56 +0200 Omar Polo <[email protected]>: > Stuart Henderson <[email protected]> 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.
