This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU AUCTeX".
The tag, release_13_1 has been created
at c8a176ca7c87baa534768e55d9ccea76fa3cd212 (commit)
- Log -----------------------------------------------------------------
commit c8a176ca7c87baa534768e55d9ccea76fa3cd212
Author: Mosè Giordano <m...@gnu.org>
Date: Sun Feb 20 19:30:18 2022 +0000
; Release_13.1
-----------------------------------------------------------------------
hooks/post-receive
--
GNU AUCTeX
_______________________________________________
auctex-commit mailing list
auctex-com...@gnu.org
https://lists.gnu.org/mailman/listinfo/auctex-commit
