tree a5a98858c446c331d4b7b764e07508ca4b8fafcc
parent ea47879911058643221fbbc6e5f9a089b7852f24
author Benno Schulenberg <bensberg@telfort.nl> 1510171917 +0100
committer Benno Schulenberg <bensberg@telfort.nl> 1510172128 +0100

ouch: set the positions-file name also when using the legacy state dir

One should test a change before pushing, also when it worked last time.