disobedience more robust against server restart

[disorder] / disobedience / properties.c

diff --git a/disobedience/properties.c b/disobedience/properties.c
index ae945be12e23ef1b9906f3ee2331d644418a2d37..3d4bda5377737d7ef3d856232c9b7bf1b513a0c4 100644 (file)
--- a/disobedience/properties.c
+++ b/disobedience/properties.c
@@ -435,4 +435,3 @@ fill-column:79
 indent-tabs-mode:nil
 End:
 */
-/* arch-tag:+COG6p7PaNPZjzknPrKdcw */