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.

Messages
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

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