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.
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
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