Amend JDK-8374521 with new option name

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Fixed
    • Priority: P4
    • 27
    • Affects Version/s: None
    • Component/s: infrastructure
    • None
    • master

      During JDK-8374521 review we agreed on the new option name, but I forgot to push the commit that actually does it! So we integrated JDK-8374521 with older option name. This should amend the change with proper option name.

            Assignee:
            Aleksey Shipilev
            Reporter:
            Aleksey Shipilev
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: