# HG changeset patch # User egahlin # Date 1508181077 0 # Node ID a91c094bcaa48ba1cb125d76b4b372d2a233507f # Parent 494e1490b341bf49f600fef1db301afe5b0a1a61# Parent f312582bf18b9623fdc6751154a6c45db0760575 Merge diff -r 494e1490b341 -r a91c094bcaa4 src/hotspot/share/trace/trace.dtd --- a/src/hotspot/share/trace/trace.dtd Mon Oct 16 16:44:23 2017 +0200 +++ b/src/hotspot/share/trace/trace.dtd Mon Oct 16 19:11:17 2017 +0000 @@ -65,7 +65,8 @@ is_instant CDATA "false" is_constant CDATA "false" is_requestable CDATA "false" - experimental CDATA "false"> + experimental CDATA "false" + cutoff CDATA "false">