Re: [AUCTeX-devel] [Patch] support xreader

2017-06-16 Thread Mosè Giordano
Hi Antoine, 2017-06-15 15:11 GMT+02:00 Antoine Levitt : > So apparently forking GNOME once was not enough, and now the linux mint > people have a new name for their pdf viewer, xreader (see e.g. > https://www.linuxmint.com/rel_sarah_cinnamon_whatsnew.php). Oh my gosh.

[AUCTeX-diffs] GNU AUCTeX branch, master, updated. 42aa58cf338b9084cc4c81e747e6adc39dbba00b

2017-06-16 Thread Mosè Giordano
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 42aa58cf338b9084cc4c81e747e6adc39dbba00b (commit) from

[AUCTeX-commit] GNU AUCTeX branch, master, updated. 42aa58cf338b9084cc4c81e747e6adc39dbba00b

2017-06-16 Thread Mos� Giordano
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 42aa58cf338b9084cc4c81e747e6adc39dbba00b (commit) from