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