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

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