about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-01-13T12·36+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-01-13T12·36+0000
commit698e880c9f03b3aaade13897de3498a5915ea8fd (patch)
tree78553b79064359f2fd06aa79c9d0783888a14eb0 /doc
parent23fbc72f5d65725dd1804efe695aaa84580a8637 (diff)
* Tricky: make sure that the accessor count is not reset to 0 if
  recovery fails.

Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions