tree 8bb883b7d787d5e28d2f68c08b22dc311d0e258e
parent 458cea5c5b820f9766cb5ba4c3d89830592d655b
parent 6c23704df5d19239f8c3d6f69da62bdbe1cf287d
author Edward Thomson <ethomson@edwardthomson.com> 1496955270 +0200
committer GitHub <noreply@github.com> 1496955270 +0200

Merge pull request #4259 from pks-t/pks/fsync-option-rename

settings: rename `GIT_OPT_ENABLE_SYNCHRONOUS_OBJECT_CREATION`