On Wed, Nov 08, 2023 at 08:31:28PM +1300, David Rowley wrote:
> On Wed, 8 Nov 2023 at 19:56, Peter Smith <smithpb2250@gmail.com> wrote:
>> In passing I found/fixed a bunch of similar misuses in comments.
>
> Those all look fine to me too.
+1.
--
Michael