wingo pushed a commit to branch wip-whippet in repository guile. commit 9dbc67377856ec92e0b9d3ab6ce32bcd449ab3b0 Merge: 5ef7dd088 162c5364b Author: Andy Wingo <wi...@pobox.com> AuthorDate: Thu Jul 3 10:22:30 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/api/mmc-attrs.h | 4 +++-
libguile/whippet/src/mmc.c | 6 ++----
libguile/whippet/src/nofl-space.h | 31 +++++++++++++++++++++++++------
3 files changed, 30 insertions(+), 11 deletions(-)
