[darcs-devel] [issue2327] grrr, couldn't get lock detection way too late!

[noreply]

noreply <noreply at darcs.net> added the comment:

The following patch sent by Ben Franksen <benjamin.franksen at helmholtz-berlin.de> updated issue issue2327 with
status=resolved;resolvedin=2.12.0 HEAD

* resolve issue2327: ask user to keep trying if locking fails 
Ignore-this: a2e5649359fc677d2a193c7aa5a65d5c

----------
resolvedin:  -> 2.12.0 HEAD
status: has-patch -> resolved

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue2327>
__________________________________