Details

    • Type: Improvement Improvement
    • Status: Closed
    • Priority: Minor Minor
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: 1.3
    • Component/s: None
    • Labels:
      None

      Description

      Some general house-keeping in Option.java to keep the code tidy. No unit tests broken.

        Activity

        Hide
        Thomas Neidhart added a comment -

        Applied some of the changes in r1544802.

        Thanks for the patch!

        Show
        Thomas Neidhart added a comment - Applied some of the changes in r1544802. Thanks for the patch!

          People

          • Assignee:
            Unassigned
            Reporter:
            BELUGA BEHR
          • Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development