profiles/package.mask: unmask latest dev-ml/ppx_deriving

diff --git a/profiles/package.mask b/profiles/package.mask
index dd77ae2f4f47a05d82ecb00b2ad8ab80a45c8313..5ce7bce70584f4f68825cc08f8982845b589c5af 100644 (file)
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -663,10 +663,6 @@ net-dns/namecoin-qt
 # Major QA violations, bug #587342 (#585722 in particular).
 games-emulation/ppsspp
 
-# Alexis Ballier <aballier@gentoo.org> (27 Jun 2016)
-# Breaks dev-ml/ppx_type_conv
->=dev-ml/ppx_deriving-4
-
 # Aaron Bauman <bman@gentoo.org> (26 Jun 2016)
 # Unpatched security vulnerability per bug #475120
 media-video/motion