K 10 svn:author V 2 cy K 8 svn:date V 27 2018-12-31T20:26:37.826342Z K 7 svn:log V 50 Now that krb5-114 is gone, remove the option too. END