diff --git a/general.ent b/general.ent
index 08a45a5574..8d331d4b17 100644
--- a/general.ent
+++ b/general.ent
@@ -1,12 +1,12 @@
-
+
-
+
diff --git a/introduction/welcome/changelog.xml b/introduction/welcome/changelog.xml
index 9aeb9762e4..ecd27b524c 100644
--- a/introduction/welcome/changelog.xml
+++ b/introduction/welcome/changelog.xml
@@ -44,6 +44,16 @@
-->
+
+ February 13th, 2015
+
+
+ [fernando] - Update to krb5-1.13.1. Fixes
+ #6138.
+
+
+
+
February 12th, 2015
diff --git a/packages.ent b/packages.ent
index 5e687ab1b3..8fff2637b2 100644
--- a/packages.ent
+++ b/packages.ent
@@ -20,7 +20,7 @@
-
+
diff --git a/postlfs/security/mitkrb.xml b/postlfs/security/mitkrb.xml
index 8d02f589a5..4f9210127a 100644
--- a/postlfs/security/mitkrb.xml
+++ b/postlfs/security/mitkrb.xml
@@ -6,7 +6,7 @@
-
+
@@ -501,15 +501,10 @@ EOF
libverto.so, and some plugins under the /usr/lib/krb5 tree
- /usr/include/gssapi,
- /usr/include/gssrpc,
- /usr/include/kadm5,
- /usr/include/krb5,
+ /usr/include/{gssapi,gssrpc,kadm5,krb5},
/usr/lib/krb5,
- /usr/share/doc/krb5-&mitkrb-version;,
- /usr/share/examples/krb5,
- /usr/share/gnats/, and
- /var/lib/krb5kdc
+ /usr/share/{doc/krb5-&mitkrb-version;,examples/krb5,gnats}, and
+ /var/lib/{,run}/krb5kdc