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