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

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