-
Nils Goroll authored
Now that we got hit-for-pass (hfp) and hit-for-miss (hfm), we should name the latter consistently to avoid unnecessary confusion
58d10b09
Now that we got hit-for-pass (hfp) and hit-for-miss (hfm), we should name the latter consistently to avoid unnecessary confusion