wingo pushed a commit to branch wip-whippet in repository guile. commit 5d94b78095023bebbeddf844a9b69274598fead8 Merge: 8c4866cd5 285ca6547 Author: Andy Wingo <wi...@pobox.com> AuthorDate: Fri May 23 09:44:31 2025 +0200
Merge remote-tracking branch 'whippet/main' into wip-whippet
libguile/whippet/src/root-worklist.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
