Propose to accept PR #449

Hi folks,

I’ve been trying to experiment with ways to streamline our work. Any
item discussed in a meeting carries with it a minimum amount of
overhead. I don’t want to impede discussion of items where it’s needed,
but if we don’t spend that overhead on items where it isn’t, we can get
more useful work done.

In PR #449, Mike has applied the changes we requested during review of
PR #420. It has one approval and it looks fine to me.

Unless someone objects in the next day or two, I propose to merge it
without further discussion.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Monday, 24 April 2023 16:52:49 UTC