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