Hi! Are we ready to drop the old git mirror? The one that's still around (as postgresql-old.git) from before we migrated the main repository to git, and thus has the old hashes around.
-- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/ -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
