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_12_3 has been created at 3a9705f141af1da221961b5d5a67288bc8e4bcbd (commit) - Log ----------------------------------------------------------------- commit 3a9705f141af1da221961b5d5a67288bc8e4bcbd Author: Mosè Giordano <m...@gnu.org> Date: Sun Oct 18 19:04:06 2020 +0100 ; Release_12.3 ----------------------------------------------------------------------- hooks/post-receive -- GNU AUCTeX
_______________________________________________ auctex-diffs mailing list auctex-di...@gnu.org https://lists.gnu.org/mailman/listinfo/auctex-diffs