Issue #106: send class_enrollment changes to professors