"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

---------------------------(end of broadcast)---------------------------
TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]

Reply via email to