[WIP] Remember recently used history entry#782

Draft

gwenn wants to merge 4 commits intokkawakam:masterfrom

gwenn:history_recent_index

Commits on Jul 7, 2024

Commits on Aug 18, 2024

Merge remote-tracking branch 'origin/master' into history_recent_index
gwenn
committed

Commits on Oct 8, 2024

Merge remote-tracking branch 'origin/master' into history_recent_index
gwenn
committed