"Dave Page" <dpage(at)vale-housing(dot)co(dot)uk> writes:
> /pub/src/v8.0.1 is missing :-(
Why do we even have individual symlinks in pub/src? Seems to me we
could replace the whole src directory with a symlink to source, and
eliminate one bit of release bookkeeping ...
regards, tom lane