Will non-league really resume in early December?