PR #19251 fix a missing `unlock` of `typecache_lock`

fix a missing `unlock` of `typecache_lock` #19251

vtjnash merged 1 commit into master from jb/typecacheunlock

fix a missing `unlock` of `typecache_lock`

b56b7fc7

JeffBezanson added bugfix

JeffBezanson added multithreading

yuyichao approved these changes on 2016-11-07

vtjnash merged 02b6b0f1 into master 9 years ago

vtjnash deleted the jb/typecacheunlock branch 9 years ago

Reviewers

yuyichao

Assignees

No one assigned

Labels

multithreading bugfix

Milestone

No milestone