diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 4022ad28615a..3dbf3b5e9efd 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,11 @@ #--- END OF EXAMPLES --- +# Ulrich Müller <ulm@gentoo.org> (15 Feb 2018) +# Masked for testing. Note that 11.92 and 12.1 are equivalent +# in functionality. +>=app-emacs/auctex-12.1 + # Brian Evans <grknight@gentoo.org (15 Feb 2018) # These PEAR packages are unmaintained upstream and # are difficult to test or have no tests. |