tree ee7d63363a6ce220665ed088de0420dce2f24c63
parent fd4dbc004bb482c0db860f5795a54ae0a9118f9d
author Kris Hildrum <hildrum@google.com> 1570291024 -0700
committer Kris Hildrum <hildrum@google.com> 1570291688 -0700

Ensure that we pick the shorter subspan

Change-Id: I7763ffc27b9fe71b1fd580039e3bd5770918c49d