diff --git a/.gitmodules b/.gitmodules
index 511896d..6fd1f69 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -358,9 +358,6 @@
 [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
deleted file mode 160000
index b4b834c..0000000
--- a/krb5-mini
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit b4b834c01ed1e3d170d71db887a086630880e226