numba/numba — pull request #670 by pitrou (2014-08-04 18:19:12+00:00)
Title: Fix #669 (hopefully): Dispatcher finalizer may crash at shutdown, skip i...

...t