diff --git a/inventory/group_vars/proxies b/inventory/group_vars/proxies
index 024b443c16..677160bb6c 100644
--- a/inventory/group_vars/proxies
+++ b/inventory/group_vars/proxies
@@ -14,6 +14,9 @@ tcp_ports: [
     80,
     443,
 
+    # This is for TCP krb5
+    1088
+
     # This is for the haproxy HTML stats page
     # TODO -- there's no need for this to be wide open to the world.  With this
     # in place, you can visit https://apps.fedoraproject.org:8080 and get the
diff --git a/inventory/group_vars/proxies-stg b/inventory/group_vars/proxies-stg
index 0594aff5c9..0b3c25ae87 100644
--- a/inventory/group_vars/proxies-stg
+++ b/inventory/group_vars/proxies-stg
@@ -14,6 +14,9 @@ tcp_ports: [
     80,
     443,
 
+    # This is for TCP krb5
+    1088
+
     # This is for the haproxy HTML stats page
     # TODO -- there's no need for this to be wide open to the world.  With this
     # in place, you can visit https://apps.fedoraproject.org:8080 and get the