Thanks for using ROOT in 2017, and for working with us on making ROOT better every day! The ROOT team will resume improving ROOT (and providing support) on January 8, 2018.
We wish you a wonderful holiday time. Enjoy your days off with family and friends!
for the ROOT team