On Sat, Jul 19, 2025, 12:13 PM Lynn Winebarger <owinebar@gmail.com> wrote:

On Sat, Jul 19, 2025, 11:37 AM Mattias Engdegård <mattias.engdegard@gmail.com> wrote:

Looks like this concludes this bug -- anything else?

No.

For future contributions:

* House conventions for commit messages.
I'm trying to get there.

But unfortunately I see what you mean after review.

Lynn