diff --git a/utils/.gitrepo b/utils/.gitrepo index c3c2f6e..5dd8a36 100644 --- a/utils/.gitrepo +++ b/utils/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://gitlab.inria.fr/whar/packages/latex-utils branch = main - commit = 4253544a3e9e3f71441436800b72f55a705141a7 - parent = 2d23eb9a16d2560bdb2016752eb97c2989feb52a + commit = 56a7a691c7276bfb356713854ae78e00a9e812fb + parent = 9df460e5246bd58abe455b53d4458ddc54a9ed62 method = rebase cmdver = 0.4.6