Opened 13 years ago
Closed 13 years ago
Last modified 9 years ago
As reported by S. Mirolo, there is a deadlock condition because of superfluous locking in check_files().
Believed to be fixed with changeset [378].
Believed to be fixed with changeset [378].