Mosè Giordano <m...@gnu.org> writes: >> 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?
Not you but I. It seems that "git pull" doen't pull tags itself (anymore), too. After "git pull --tags" the tag appeared on my side, too. In the meantime, I've merged up to bd2c1c67 to ELPA and pushed a new release 13.2.0 there. Bye, Tassilo