log repoint-lock.json @ 2320:61295186a887

age author description
Thu, 19 Sep 2019 13:25:37 +0100 Chris Cannam Subrepo update
Fri, 13 Sep 2019 17:50:04 +0100 Chris Cannam Fix, I think, #1874 Pointer position becomes increasingly erroneous when rewinding with alignment active