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?


Reply via email to