From 9c25e1e36b8943d2c816da4272941ae54fe418bb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler=20=28via=20gitlab=20runner=29?= Date: Thu, 19 Oct 2023 00:50:54 +0000 Subject: [PATCH] set -e for compilation script Build branch master (72cc9d7) from latex/latex-packages --- build_info.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build_info.json b/build_info.json index 12d326b..f884efd 100644 --- a/build_info.json +++ b/build_info.json @@ -1,8 +1,8 @@ { "build_time": "", "source files": { - "version": "v2.9-62-g34f0a41", - "commit": "34f0a41699884d7060606d7e324ce3e0357b4262", + "version": "v2.9-63-g72cc9d7", + "commit": "72cc9d78b0dbbf5b01d7ed680084d8d3f27bae55", "dirty": false }, "pytex": {