Hi Arash, >>>>> Arash Esbati <ar...@gnu.org> writes: > Thanks for looking at this. The new workflow (for the time being) is > actually the old one: Push all changes to the master branch, and we can > merge that onto main when needed. The only minor change is probably to > add noteworthy changes to NEWS.org and not to changes.texi.
Thanks, I committed to the master branch and pushed. I'll close this bug. Regards, Ikumi Keita #StandWithUkraine #StopWarInUkraine #Gaza #StopMassiveKilling #CeasefireNOW _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
