Added by Joaquín del Cerro Murciano about 2 years ago
Fix null pointer exception in DefaultHistoryController
View differences