On Tue, 5 Nov 2002, Peter Eisentraut wrote:
> Tom Lane writes:
>
> > Right-o: HEAD is 7.4devel now ...
>
> Will someone merge the 7.3 branch into 7.4devel when the former is
> released? I don't feel like double-patching...
At this stage, there shouldn't be anything really going *into* STABLE, if
we want to get to RC1 ...