tree 8efb6ebd975e2ceba6f7148e2080461cd7369e68
parent a4dfaed1461dc1b548459ab2dc62c4e3c3fc95b1
author Michael Bien <mbien42@gmail.com> 1563322635 +0200
committer Michael Bien <mbien42@gmail.com> 1563322635 +0200

reuse reader from the index consistency check.