Synopsis: misleading --disable-external-dotlock functionality/ documentation vs. naming/ intuition
State-Changed-From-To: in-progress->open State-Changed-By: rado State-Changed-When: Thu, 15 Feb 2007 15:40:35 +0100 State-Changed-Why: Assumed it was forgotten, wanted to refresh, but mismemorized the "just back from holidays" as "when back..." I'm very sorry for the noise, back to sleep/ "open". **** Comment added by rado on Thu, 15 Feb 2007 15:40:35 +0100 **** Misread "just back" as "when back", I'm very sorry and beg for pardon for bothering.
