diff options
author | Patrice Clement <monsieurp@gentoo.org> | 2015-08-25 09:45:34 +0000 |
---|---|---|
committer | Patrice Clement <monsieurp@gentoo.org> | 2015-08-25 09:46:09 +0000 |
commit | 9d6fa4934b3afe77fb1f6889374cb302c4f94de2 (patch) | |
tree | 22528c25f50c1a55d9786cf9cbeba226915de8fd /dev-ml/menhir | |
parent | dev-db/mongodb: version bump, drop old (diff) | |
download | gentoo-9d6fa4934b3afe77fb1f6889374cb302c4f94de2.tar.gz gentoo-9d6fa4934b3afe77fb1f6889374cb302c4f94de2.tar.bz2 gentoo-9d6fa4934b3afe77fb1f6889374cb302c4f94de2.zip |
www-servers/resin: disable a patch that doesn't work with JDK versions lower than 1.8. Fixes bug 558442.
Package-Manager: portage-2.2.18
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
Diffstat (limited to 'dev-ml/menhir')
0 files changed, 0 insertions, 0 deletions