Hi Stefan,

On Tue, Mar 7, 2023, 17:53 Stefan Sperling <stsp@stsp.name> wrote:

> Pkease let me know ahead of time when you make the switch. I will adjust
> HEAD on various repository copies I maintain, including the main repo.
>

Yes indeed. This is a coordinated response.

Kindly,
Thomas

>