hg: jdk/jdk: 8209987: Minor cleanup in Level.java

daniel.fuchs at oracle.com daniel.fuchs at oracle.com
Mon Aug 27 12:06:30 UTC 2018


Changeset: 5f40be158613
Author:    dfuchs
Date:      2018-08-27 12:33 +0100
URL:       http://hg.openjdk.java.net/jdk/jdk/rev/5f40be158613

8209987: Minor cleanup in Level.java
Reviewed-by: dfuchs
Contributed-by: Bernd Eckenfels <ecki at zusammenkunft.net>

! src/java.logging/share/classes/java/util/logging/Level.java



More information about the jdk-all-changes mailing list