numba/numba — pull request #813 by sklam (2014-10-14 16:36:39+00:00)
Title: Revert my accidental revert in the optiona_types PR

Note to self, never merge/revert other pending PR.