From f0376b87daadb64f950a992f7b8dd144b3364209 Mon Sep 17 00:00:00 2001
From: Erwan Normand <normand.erwan@protonmail.com>
Date: Sat, 10 Aug 2024 17:29:41 +0200
Subject: [PATCH] git subrepo push utils

subrepo:
  subdir:   "utils"
  merged:   "46d12de"
upstream:
  origin:   "https://gitlab.inria.fr/whar/packages/latex-utils"
  branch:   "main"
  commit:   "46d12de"
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 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