| commit | ceeb47d0c33b6875e253517140142a4d7f056790 | [log] [tgz] |
|---|---|---|
| author | Sandro Tosi <sandro.tosi@gmail.com> | Thu Apr 05 22:51:00 2012 +0200 |
| committer | Sandro Tosi <sandro.tosi@gmail.com> | Thu Apr 05 22:51:00 2012 +0200 |
| tree | c634d1b70cc85f3479d04f0034eedc75758b7431 | |
| parent | 02a380105d4cd31219d2dc468f277688973ec2bd [diff] |
Issue #14502: release() and unlocked lock generates a ThreadError