Hi Simon, > I cut a stable-202607 branch
Thanks! Yes, that was the right moment: We are not in the middle of big risky changes, and last Monday's CI succeeded [1]. [1] https://github.com/gnu-gnulib/ci-testdir-check/actions > Bruno, anything I missed? Update the www.gnu.org/software/gnulib/manual > somehow? Yes, we usually update the manual after creating a new stable branch. I did it just now. Bruno
