On Tue, Sep 21, 2010 at 20:16, Kevin Grittner <kevin.gritt...@wicourts.gov> wrote: > Magnus Hagander <mag...@hagander.net> 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 (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers