tree 764e7a7f725feb9a9d14313bc0093128825ac15d
parent c234247727cc0cfa70c8776cb13dd2b4e62246ee
author Morten Krogh-Jespersen <mkroghj@google.com> 1634036911 +0200
committer Morten Krogh-Jespersen <mkroghj@google.com> 1634038814 +0000

[Retrace] Remove or-numbering for single line retracing

Change-Id: I2a3697967e5811a6815c03c27cb61578cc3dab2d