wingo pushed a commit to branch wip-whippet in repository guile. commit 507a5b999b05966af45d4d768d7154171fc54bde Merge: 5903ca38d 508362642 Author: Andy Wingo <[email protected]> AuthorDate: Tue Aug 5 11:24:11 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/src/mmc.c | 4 ++--
libguile/whippet/src/nofl-holeset.h | 1 +
libguile/whippet/src/nofl-space.h | 25 ++++++++++++++++---------
3 files changed, 19 insertions(+), 11 deletions(-)
