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