[AUCTeX-commit] GNU AUCTeX branch, master, updated. c8a176ca7c87baa534768e55d9ccea76fa3cd212

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 branch, master has been updated via c8a176ca7c87baa534768e55d9ccea76fa3cd212 (commit) via

[AUCTeX-commit] GNU AUCTeX tag, release_13_1, created. c8a176ca7c87baa534768e55d9ccea76fa3cd212

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

[AUCTeX-commit] GNU AUCTeX branch, master, updated. 8eb3cccba9f0085e5d4d1d734abcb9d1dcbf6169

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 branch, master has been updated via 8eb3cccba9f0085e5d4d1d734abcb9d1dcbf6169 (commit) from