From: Thomas Adam Subject: Re: -portable: changing linux branch to portable To: Thomas Adam , Game of Trees Date: Tue, 7 Mar 2023 17:55:20 +0000 Hi Stefan, On Tue, Mar 7, 2023, 17:53 Stefan Sperling 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 >