wingo pushed a commit to branch wip-whippet in repository guile. commit dafa09cad78b3107162b04828c52609ee604023d Merge: 6002fd3cd e674ed975 Author: Andy Wingo <wi...@pobox.com> AuthorDate: Thu Aug 7 14:19:47 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/src/extents.h | 2 +-
libguile/whippet/src/parallel-tracer.h | 1 -
2 files changed, 1 insertion(+), 2 deletions(-)
