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

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