2be322d
Use the higher tag when there are more than one If two or more tags of the right format point point to HEAD, we probably want the later of the two.