Merge pull request #3878 from hvr/pr/extended-01-index-cache
commitb1dd85f0fde58c0cd76f067d9df028dd21aac577
authorHerbert Valerio Riedel <hvr@gnu.org>
Wed, 21 Sep 2016 12:27:51 +0000 (21 14:27 +0200)
committerGitHub <noreply@github.com>
Wed, 21 Sep 2016 12:27:51 +0000 (21 14:27 +0200)
tree097246c96d05201fb2844ff0d8318e4e43d80319
parent3da1fbdb44893d4659d7e02f12afe111eb693941
parentdb1ef505ab898d0c6b5cca54bb7e222ff5f4e6ae
Merge pull request #3878 from hvr/pr/extended-01-index-cache

- Extend `01-index.cache` with timestamps in preparation of `--index-state`
- Use 'Binary' encoding for `01-index.cache`