"Dave Page" <[email protected]> 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]
