> On Aug 15, 2021, at 6:18 PM, David Holland <dholland-t...@netbsd.org> wrote: >> >> This complaint is at best tangentially related to the topic at >> hand, and can be adjusted separately from this discussion. > > Sure, but let's not forget to, ok? I was also not entirely pleased by > seeing new untyped things going in without discussion.
Yes, fine. -- thorpej
