Re: [PATCH 03/20] kerberos: User kerberos prefix instead of krb5.

[Huw Davies]

On Fri, Jan 19, 2018 at 10:51:07AM +0100, Hans Leidekker wrote:
> Signed-off-by: Hans Leidekker

FWIW the commit message should presumably be 'Use kerberos...',
hopefully AJ can fix that up.

Huw.