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

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