Bruce Momjian wrote:
> bruce wrote:
> > bruce wrote:
> > > Dave Page wrote:
> > > > This was posted as a documentation comment:
> > > >
> > > > to_char(interval '0d 0h 12m 44s', 'DD HH MI SS');
> > > > with HH and HH12 will return 12 instead of 0.
> > > >
> > > > Testing on 8.4.1, it does seem to
bruce wrote:
> bruce wrote:
> > Dave Page wrote:
> > > This was posted as a documentation comment:
> > >
> > > to_char(interval '0d 0h 12m 44s', 'DD HH MI SS');
> > > with HH and HH12 will return 12 instead of 0.
> > >
> > > Testing on 8.4.1, it does seem to be the case that you get "00 12 12
> >
