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 131c537405303345402365933361df3b7ee71d79 (commit)
from 40b351888936f8f80
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 131c537405303345402365933361df3b7ee71d79 (commit)
from 40b351888936f8f80
Hi Mosè,
Mosè Giordano writes:
> 2016-07-20 16:06 GMT+02:00 Arash Esbati :
>> Arash Esbati writes:
>>
>>> Mosè Giordano writes:
>>>
Please, add documentation and mention the new feature in the news
section as well.
>>>
>>> I will update the manual as well (have to find a section wher