From 01f75aa5cf3c605c29df56280810e463ad7d46e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dirk=20M=C3=BCller?= <dirk@dmllr.de>
Date: Tue, 14 Mar 2023 22:40:23 +0100
Subject: [PATCH] Revert "Remove krb5-mini"

This reverts commit 8674e2160271ad13c0062c4a38a6f5a34625e159.
---
 .gitmodules | 3 +++
 krb5-mini   | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 krb5-mini

diff --git a/.gitmodules b/.gitmodules
index 6fd1f69..511896d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -358,6 +358,9 @@
 [submodule "gettext-runtime-mini"]
 	path = gettext-runtime-mini
 	url = ../../rpm/gettext-runtime.git
+[submodule "krb5-mini"]
+	path = krb5-mini
+	url = ../../rpm/krb5.git
 [submodule "systemtap-headers"]
 	path = systemtap-headers
 	url = ../../rpm/systemtap.git
diff --git a/krb5-mini b/krb5-mini
new file mode 160000
index 0000000..b4b834c
--- /dev/null
+++ b/krb5-mini
@@ -0,0 +1 @@
+Subproject commit b4b834c01ed1e3d170d71db887a086630880e226