2be322d Use the higher tag when there are more than one

Authored and Committed by bruno 10 years ago
1 file changed. 1 lines added. 1 lines removed.
    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.
    
        
file modified
+1 -1