Closed mtrmac closed 5 months ago
… on the principle that removing accidental complexity makes it easier to focus on the essential complexity.
(Yes, this conflicts with #2218 ; I’ll rebase that work.)
@giuseppe PTAL.
See individual commit messages for details.
LGTM
… on the principle that removing accidental complexity makes it easier to focus on the essential complexity.
(Yes, this conflicts with #2218 ; I’ll rebase that work.)
@giuseppe PTAL.