"Dave Page" <dpage@vale-housing.co.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