{"shas":[["b55090986bdcbe8cbbe5af2fe641e987d4cdee1d","123227eb0f20dd1e3a23efe790d2134219c55afd@xamarin.com","Fixed some height tree issues, red-black tree now has both\ninsertafter/before operations.\nFixed/extended unit tests for the height tree/folding.","Mike Krüger"]],"ref":"refs/heads/master","size":1,"head":"b55090986bdcbe8cbbe5af2fe641e987d4cdee1d","push_id":35535043}