-
Committer:
Gaël Bonithon
-
Date:
2021-05-16 17:46:44 UTC
-
Revision ID:
git-v1:d3303837a9a97cf6a3b57b7eb4e8448806e5b85a
Properly update recent menu in case of file deletion
When all recent files were removed between two runs, the recent menu was
in an inconsistent state.
A regression introduced in !25.