1 diff --git a/src/core/gitinfo.h b/src/core/gitinfo.h
3 index 00000000..6f330552
5 +++ b/src/core/gitinfo.h
7 +// 4cce0a37b134283ed38ee4814bb282773f9c2ed1
9 +// This file was automatically generated by the
10 +// updaterevision tool. Do not edit by hand.
12 +#define GIT_DESCRIPTION "1.4.1-29-g4cce0a37"
13 +#define GIT_HASH "4cce0a37b134283ed38ee4814bb282773f9c2ed1"
14 +#define GIT_TIME "2023-08-09 13:55:37 +0200"
15 +#define HG_REVISION_NUMBER 1691582137
16 +#define HG_REVISION_HASH_STRING "4cce0a37b134"
17 +#define HG_TIME "230809-1155"