Fix the krb5-config usage (v9.11)
The MR in question broke the configure script in different way, so we are going to use a different fix.
Closes #2866 (closed)
Edited by Ondřej Surý
The MR in question broke the configure script in different way, so we are going to use a different fix.
Closes #2866 (closed)