Re: Update: Re: github wrangling (ticket #9866)

[Andrew Phillips]

and so I unsubscribed from the deluge.

Good for you ;-) I think we're OK so far.

Thanks for the suggestions!

ap