Bug#846088: Info received (Bug#846088: Alladin License in krb5)

[Sam Hartman]

To be clear I've contacted upstream off-list and we'll see what we find
in the next few days.