git subrepo pull (merge) utils

subrepo: subdir: "utils" merged: "8efe944" upstream: origin: "https://gitlab.inria.fr/whar/packages/latex-utils" branch: "main" commit: "8efe944" git-subrepo: version: "0.4.6" origin: "???" commit: "???"
2024-08-13 10:11:31 +02:00
parent d28555ffcb
commit d3eb89b9f5
2 changed files with 10 additions and 11 deletions
--- a/utils/.gitrepo
+++ b/utils/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://gitlab.inria.fr/whar/packages/latex-utils
 	branch = main
-	commit = 46d12de021ea1b3a4a0a39b0086738691c50661c
-	parent = c4bb93d4e249dda188e0b2b3c0c8145ea9ed7209
+	commit = 8efe944a5dad0c8d2f2b844a3ca7389b9e8966f7
+	parent = d28555ffcb920d6a6148a8b484ef601f7a9a9fb2
 	method = rebase
 	cmdver = 0.4.6