For those who don't know, most Sun folks will be out during the holiday break, which takes place this year from Monday Dec 24th through Tuesday Jan 1st.
I'll personally be out the first few weeks in Jan on paternity leave, although I'll be continuing to work on PowerTop and the capacity/utilization aware scheduling changes here and there. :) Everyone have a nice holiday. -Eric
