> On 19. Jul 2023, at 18:54, Christos Margiolis <[email protected]> wrote: > > [email protected] wrote: >> This doesn't compile on my system: >> [...] > > Forgot to bring over a recent change to kinst.h from my local branch. > Pushing the fix now. > > Thanks for letting me know and sorry for the inconvenience. No problem. I can confirm that the push fixed actually fixes the issue for me. Thanks for the quick response.
Best regards Michael > > Christos
