Hi folks, the next pants meeting is scheduled for Oct 13th, which is a holiday in the US (Indigenous People's Day/Columbus Day). Any objection to postponing it by a day, to Oct 14th?

It would personally for me be more convenient to bump a week (20th) instead of a day. I don't know if we have any precedent on holiday handling.

Usually 2nd Monday of the month is not a holiday, at least in the US, it's just this one, not sure what we've done in previous years