Omit history files with path that does not exist on disk anymore (#3113)

Parents: 1a4e9ec , 639ae67

Committed by GitHub <noreply@github.com> on 10/10/2023, 9:55:06 AM