log configure @ 1893:1fda47827e0e sv_v3.1pre2

age author description
Wed, 09 May 2018 13:28:55 +0100 Chris Cannam Vext -> Repoint. Let's see how this goes. repoint
Tue, 24 Apr 2018 14:14:58 +0100 Chris Cannam Minor build tweak