October 9th is a student holiday for Gwinnett County Public Schools.