On Tue, Sep 21, 2010 at 20:16, Kevin Grittner <[email protected]> wrote: > Magnus Hagander <[email protected]> wrote: > >> The cleanest is probably if I wipe the repo on git.postgresql.org >> for you, and you then re-push from scratch. Does thta work for >> you? > > Sure. Thanks.
done, should be available for push now. -- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/ -- Sent via pgsql-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
