From 12bd30d9dd6725e052c7491a2c1122aca199e8d1 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Mon, 22 Sep 2025 15:07:45 +0100 Subject: [PATCH] pull in new version of brolib-sml, which contains a bug fix for 'LineGap.delete' --- lib/brolib-sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/brolib-sml b/lib/brolib-sml index 5b6b132..d6e119a 160000 --- a/lib/brolib-sml +++ b/lib/brolib-sml @@ -1 +1 @@ -Subproject commit 5b6b13278b690b9fd5c744556a0f7dbf586443fc +Subproject commit d6e119a161d1ede6bfb0fec32731a73e21ef553b