refactor: remove unnecessary Option in Freshness::Dirty
#13361
Merged
bors merged 5 commits intorust-lang:master from weihanglo:fingerprintJan 29, 2024
+67-64
Commits
Commits on Jan 29, 2024
- committed
- committed
- committed
- committed
- committed