-
由 Frederic Bastien 提交于
This is needed as a previous commit changed some python int to numpy integer. This will also make the optimization happen more frequently then before.
092b8e2c
This is needed as a previous commit changed some python int to numpy integer. This will also make the optimization happen more frequently then before.