On Wed, Apr 05, 2023 at 07:33:16AM -0800, Mychaela Falconia wrote:
pesky naming issue I'll happily go with whatever
the community decides
(I am after functionality, not naming)
Naming is hard, but naming is also fundamentally extremely important. It makes
a big difference in code maintenance and in humans understanding APIs and
implementations.
Let's discuss all else in the gerrit patch conversations...
~N