Issue 2418 add versioning to on-disk format of patch index

Title add versioning to on-disk format of patch index
Priority feature Status resolved
Milestone 2.10.0 Resolved in 2.10.0
Superseder Nosy List darcs-devel, gh
Assigned To
Topics PatchIndex

Created on 2014-11-15.20:02:17 by gh, last changed 2015-02-12.17:48:09 by noreply.

msg17805 (view) Author: gh Date: 2014-11-15.20:02:15
Darcs should check that the on-disk format of patch index is known.
If not, it should delete it and build it again.
msg18089 (view) Author: noreply Date: 2015-02-12.17:48:07
The following patch sent by Guillaume Hoffmann <guillaumh@gmail.com> updated issue issue2418 with
status=resolved;resolvedin=2.10.0 HEAD

* resolve issue2418: add and check on-disk patch index version 
Ignore-this: c5d4418b0782a5a2f3b13f60a60411e3
Date User Action Args
2014-11-15 20:02:18ghcreate
2014-12-17 18:53:21ghsetstatus: unknown -> resolved
2015-02-12 17:48:09noreplysetmessages: + msg18089
resolvedin: 2.10.0