From abb4b35d7e0310482ef6118417712e2069a16fd3 Mon Sep 17 00:00:00 2001
From: Ludwig Nussel <lnussel@suse.com>
Date: Fri, 25 Nov 2022 14:52:44 +0100
Subject: [PATCH] add krb5-mini

---
 .gitmodules | 4 ++++
 krb5-mini   | 1 +
 2 files changed, 5 insertions(+)
 create mode 160000 krb5-mini

diff --git a/.gitmodules b/.gitmodules
index 6ed1750..a83dec9 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -197,3 +197,7 @@ url = ../rpm/isl.git
 [submodule "keyutils"]
 path = keyutils
 url = ../rpm/keyutils.git
+
+[submodule "krb5-mini"]
+path = krb5-mini
+url = ../rpm/krb5.git
diff --git a/krb5-mini b/krb5-mini
new file mode 160000
index 0000000..7b996ae
--- /dev/null
+++ b/krb5-mini
@@ -0,0 +1 @@
+Subproject commit 7b996ae4b64780024bd9fb1102501672f4dbc67a