Skip to content

GitLab

Merged
Opened by Paolo G. Giarrusso@BlaisorbladeContributor

Replace explicit use of Inj instances by inj

Same rationale as stdpp!132 (merged).