Merge branch 'release/2.0.12' into develop
Fix #11, "Calling sync.pull() after sync.readdir() fails". We forgot to read some bytes.
Bump version to 2.0.13.
Merge branch 'release/2.0.13'