On Thu, Jul 13, 2017 at 02:44:56AM +0200, Tobias Geerinckx-Rice wrote: > * gnu/packages/kerberos.scm (mit-krb5)[properties]: New field. Thanks!