[ignore] Recovery: call sync after repair
Merge branch 'feature/recovery' of https://github.com/wolfgangmm/exist into feature/recovery