Michael Leupold wrote: > Pushing seems to work for me using this procedure. I took your patches and > pushed them to the repository - I hope you don't mind. Thanks. Oddly, things started working again for me, after which I promptly screwed up and pushed a bunch of useless commits :( Oh well. Stef