On tis, 2010-09-21 at 20:04 +0200, Magnus Hagander wrote: > The cleanest is probably if I wipe the repo on git.postgresql.org for > you, and you then re-push from scratch.
We probably need a solution that doesn't require manual intervention for everyone separately. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
