We need to decide what to do during the holidays. There are four options:
1) Long Turn Timer: Set the turn timer to 999 hours, so teams can play whenever they can, but the game is not paused.
2) Pause: The game is paused. No turn is played over the holidays.
3) No changes: The game continues with the standard 40-hour timer.
4) Other: Please post your own idea if you select this option.

I don't think it would be a problem for us, but probably for other teams.

I'm happy to assent to what other teams want on this, a long turn timer is fine too though, seems like the easiest answer. Anyway I've actually got more time to be around here and keep up with the semester+exams finished but I know people are on holiday, and best wishes to everyone who is travelling now and so on.