Hi everyone,
Sorry about this - two simple changes to Makefile.def we had missed
during our first libgrust/ patchset, plus the associated regen of
Makefile.in in each commit.
Let me know if I should squash them together. I'll follow them up
with our entire patchset.
Best,
Arthur
Hi!
On 2024-01-11T15:22:07+0100, Arthur Cohen wrote:
> Sorry about this - two simple changes to Makefile.def we had missed
> during our first libgrust/ patchset
I don't think those were "missed" but rather "intentionally omitted"?
I'll have to have a more detailed look.
(..., and almost no chan