Closed victorskl closed 2 years ago
@victorskl Good catch. There was an earlier "proper use of unit" fix in other parts but this was merged in later ¯\_(ツ)_/¯
¯\_(ツ)_/¯
Merging since a) correct and b) probably not yet used (v. recent document update).
@victorskl Good catch. There was an earlier "proper use of unit" fix in other parts but this was merged in later
¯\_(ツ)_/¯