Revert "Remove krb5-mini"

This reverts commit 8674e21602.
2023-03-14 22:40:23 +01:00
parent 3ab9b5abd2
commit 01f75aa5cf
2 changed files with 4 additions and 0 deletions
--- 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
--- a/1
+++ b/1