diff --git a/utils/.gitrepo b/utils/.gitrepo index 9261276..7de6438 100644 --- a/utils/.gitrepo +++ b/utils/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://gitlab.inria.fr/whar/packages/latex-utils branch = main - commit = 8efe944a5dad0c8d2f2b844a3ca7389b9e8966f7 - parent = d28555ffcb920d6a6148a8b484ef601f7a9a9fb2 + commit = eb2bf7a751f36bcd487fa8d6d186c7e8249187dc + parent = f2ca2f13a8c32f7eb221b56b7cd0f349d9e7b182 method = rebase cmdver = 0.4.6