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