Alvaro Herrera <alvherre(at)commandprompt(dot)com> writes:
> FWIW I just noticed we have a variable named "krb_caseins_users" which I
> think is not such a great name for it. Prolly best to change it now
> while it's still in the oven.
You're two releases too late for that one :-(
regards, tom lane