Frej Drejhammar f71385ec14 Fix "Warn if one of the marks, mapping, or heads files are empty" ...

The commit "Warn if one of the marks, mapping, or heads files are
empty" (7224e420a7) mixed up the state and heads caches and reported
that the heads cache was empty if the state case was. Error found by
Shun-ichi Goto.

Closes #338

2025-06-05 16:50:56 +02:00

25 KiB

Executable File

Raw Blame History

View Raw