From 78e1e01c23829d57c6b79462302f4a7684f4aa57 Mon Sep 17 00:00:00 2001 From: Erwan Normand Date: Wed, 7 Aug 2024 10:03:06 +0200 Subject: [PATCH] git subrepo push utils subrepo: subdir: "utils" merged: "56a7a69" upstream: origin: "https://gitlab.inria.fr/whar/packages/latex-utils" branch: "main" commit: "56a7a69" 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 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