wingo pushed a commit to branch wip-whippet in repository guile. commit ddab1dce3f37ad1144cbac3896900f31fbb77a20 Merge: d97985c92 5375c03c7 Author: Andy Wingo <wi...@pobox.com> AuthorDate: Mon Jul 7 16:39:55 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/src/mmc.c | 2 ++
libguile/whippet/src/nofl-space.h | 9 ++++++---
libguile/whippet/src/parallel-tracer.h | 14 ++++++++++++++
3 files changed, 22 insertions(+), 3 deletions(-)
