Tom has already applied a fix for this:
http://archives.postgresql.org/pgsql-committers/2005-10/msg00114.php
//Magnus
>
> I need a comment on this.
>
> --------------------------------------------------------------
> -------------
>
> Tom Lane wrote:
> > "Magnus Hagander" <mha@sollentuna.net> writes:
> > > Here's a patch that fixes the big problem and reverts the
> behaviour
> > > of appl_version to be compatible with 8.0.
> >
> > Applied with trivial stylistic cleanups.
> >
> > BTW, the documentation seems a bit broken:
> >
> > krb_server_hostname (string)
> >
> > Sets the hostname part of the service principal. This, combined
> > with krb_srvname, is used to generate the complete service
> > principal, i.e. krb_server_hostname/krb_server_hostname@REALM.
> >
> > I suppose one of those last two should be "krb_srvname", but which?
> >
> > regards, tom lane
> >
> > ---------------------------(end of
> > broadcast)---------------------------
> > TIP 1: if posting/reading through Usenet, please send an appropriate
> > subscribe-nomail command to majordomo@postgresql.org
> so that your
> > message can get through to the mailing list cleanly
> >
>
> --
> Bruce Momjian | http://candle.pha.pa.us
> pgman@candle.pha.pa.us | (610) 359-1001
> + If your life is a hard drive, | 13 Roberts Road
> + Christ can be your backup. | Newtown Square,
> Pennsylvania 19073
>