Add HistoryHinter::default() and HistoryHinter::new()#710
Merged
gwenn merged 1 commit intokkawakam:masterfrom segeljakt:derive-default-history-hinterJun 26, 2023
+10-2
HistoryHinter::default() and HistoryHinter::new()#710