dev-embedded/pikdev: Remove last-rited pkg, #620698

johu · Aug 14, 2017 · 8d646d9 · 8d646d9
1 parent da958b9
commit 8d646d9
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 65 deletions.
diff --git a/dev-embedded/pikdev/Manifest b/dev-embedded/pikdev/Manifest
diff --git a/dev-embedded/pikdev/metadata.xml b/dev-embedded/pikdev/metadata.xml
diff --git a/dev-embedded/pikdev/pikdev-1.4.0.ebuild b/dev-embedded/pikdev/pikdev-1.4.0.ebuild
diff --git a/profiles/package.mask b/profiles/package.mask
@@ -427,11 +427,6 @@ media-plugins/vdr-tvguide
 # Not compatible with recent python versions (#619998). Removal in a month.
 net-misc/leapcast
 
-# Pacho Ramos <[email protected]> (14 Jul 2017)
-# Rely on vulnerable webkit (#620698).
-# Removal in a month.
-dev-embedded/pikdev
-
 # Pacho Ramos <[email protected]> (14 Jul 2017)
 # Dead for ages, relies on dead libs (#622010), you can move to moserial, cutecom or
 # minicom. Removal in 2 months.