On Tue, Sep 21, 2010 at 20:16, Kevin Grittner
<Kevin(dot)Grittner(at)wicourts(dot)gov> wrote:
> Magnus Hagander <magnus(at)hagander(dot)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/