# HG changeset patch
# User andrew
# Date 1440011708 -3600
# Node ID 902c8893132eb94b222850e23709f57c4f56e4db
# Parent  76a0707a9780cf89101faa9d016fb59a927f5256
8133968: Revert 8014464 on OpenJDK 7
Summary: No longer need to ignore bug IDs
Reviewed-by: omajid

diff -r 76a0707a9780 -r 902c8893132e .jcheck/conf
--- a/.jcheck/conf	Sat Jul 11 16:20:19 2015 +0100
+++ b/.jcheck/conf	Wed Aug 19 20:15:08 2015 +0100
@@ -1,2 +1,2 @@
 project=jdk7
-bugids=ignore
+bugids=dup