[gambit-list] Another patch for naive-div