Face masks optional for Orange County Public Schools employees

The new mask policy went into effect on Thursday morning.