5 Years Ago
Fix for issue #1095, changed how objectives are set to prevent stuck tasks