Re: Use binary search in Axis_group_interface::combine_pure_heights. (issue 573730043 by hanwenn@gmail.com)

[hanwenn]

https://codereview.appspot.com/573730043/