On Tue, Apr 4, 2023 at 3:26 PM Zack Weinberg wrote:
> On Mon, Apr 3, 2023, at 12:53 AM, Paul Eggert wrote:
> > Thanks, I took a quick look at all the patches and see no issues.
>
> These have been pushed now (actually, yesterday).
>
Do you plan to do another release candidate ?
We can try it out
On Mon, Apr 3, 2023, at 12:53 AM, Paul Eggert wrote:
> Thanks, I took a quick look at all the patches and see no issues.
These have been pushed now (actually, yesterday).
zr
Thanks, I took a quick look at all the patches and see no issues.