Hi Tassilo, On Mon, 24 Apr 2023 at 18:40, Tassilo Horn <t...@gnu.org> wrote: > > Hi Mosè, > > thanks a lot for making the release! > > As a minor nit, it seems a release_13.2 tag is still missing.
I do see the tag in https://git.savannah.gnu.org/cgit/auctex.git, and https://git.savannah.gnu.org/cgit/auctex.git/tag/?h=release_13_2. Am I missing something? Bye, Mosè