Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> In the meantime, does anyone have more information about how this came about?
Marc's always done both the tagging and the tarball-making, so you'd
have to ask him about that. I believe he's made it more scripted over
the years, so this might reflect a manual foulup that (hopefully) is no
longer possible.
+1 for adjusting the tags in CVS to match what we actually shipped.
regards, tom lane