Just wanted to wish you all happy holidays, regardless of what you're celebrating this time of the year.
We'll be off tomorrow (the 25th), but will be back in the office on the 26th, since we've got a lot of things left to do before the year is over...
