Joerg Thalheim 1406e249b3 krb5: add deprecation date for old configuration		2017-10-03 11:01:05 +01:00
..
default.nix