• 
      

    Change the format for the indentation info keys.

    Review Request #5352 — Created Jan. 29, 2014 and submitted

    Information

    Review Board
    master

    Reviewers

    Change the format for the indentation info keys.

    The key used for recording indentation line pairs was a tuple.
    Python is fine with this, but the JSON serializer was not. Instead, we
    now serialize it to a string, which is safer.

    Unit tests passed.

    Viewed a diff with indentation changes and saw the proper changes.