.jcheck/conf

Tue, 05 Mar 2013 14:12:07 +0000

author
mcimadamore
date
Tue, 05 Mar 2013 14:12:07 +0000
changeset 1613
d2a98dde7ecc
parent 1012
fdc22d73b6f3
child 2232
2c4d8c4ea5b6
permissions
-rw-r--r--

8009227: Certain diagnostics should not be deferred
Summary: Add new diagnostic flag to mark non deferrable diagnostics
Reviewed-by: jjg

     1 project=jdk8

mercurial