From b19ddecb3de7e5eda019447b608389c453c95822 Mon Sep 17 00:00:00 2001
From: Erwan Normand <normand.erwan@protonmail.com>
Date: Thu, 27 Jun 2024 00:03:27 +0200
Subject: [PATCH] git subrepo push utils

subrepo:
  subdir:   "utils"
  merged:   "4253544"
upstream:
  origin:   "https://gitlab.inria.fr/whar/packages/latex-utils"
  branch:   "main"
  commit:   "4253544"
git-subrepo:
  version:  "0.4.6"
  origin:   "???"
  commit:   "???"
---
 utils/.gitrepo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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