numba/numba — pull request #521 by jayvius (2014-06-17 21:18:19+00:00)
Title: Fix for issue #520

Fix for https://github.com/numba/numba/issues/520