Better time for Docs Office Hours?

jhodgdon's picture

We've been having weekly Docs Office Hours for a while now, on Tuesday at 1pm (US/Pacific time) -- see for more details.

That particular time/day was chosen because it worked well with Ariane's and my schedules, and seemed like it might be good for others as well. But I'm wondering if people would prefer another time? My schedule is fairly flexible (within the constraints of my time zone), and I'm open to changing the time.

Post comments/thoughts here... if no one has a strong preference, I'll probably leave the time as it is. Thoughts?