Update patchlevel.h for Git repository

diff --git a/src/patchlevel.h b/src/patchlevel.h
index 52c8b34bab30b9928c9daf2cec83e1cc0e2ea02f..4b4e6e454b97fbaf1fa3624e30a39bcc566dbe02 100644 (file)
--- a/src/patchlevel.h
+++ b/src/patchlevel.h
@@ -55,4 +55,4 @@
 #define KRB5_PATCHLEVEL 3
 #define KRB5_RELTAIL "postrelease"
 /* #undef KRB5_RELDATE */
-#define KRB5_RELTAG "branches/krb5-1-9"
+#define KRB5_RELTAG "krb5-1.9"