From 6ac3525192fbfdec483716b4f84de97368381ccb Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Sat, 5 Oct 2024 12:44:37 +0100 Subject: [PATCH] pull in new version of line_gap.sml, which has a new append function as well --- lib/brolib-sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/brolib-sml b/lib/brolib-sml index 599252e..2a5a5b0 160000 --- a/lib/brolib-sml +++ b/lib/brolib-sml @@ -1 +1 @@ -Subproject commit 599252e5ed916406e5554e5f635bf017632a4fc5 +Subproject commit 2a5a5b0787c785ad2290a75b97614fbe33f7635e