HomePhabricator

We want Python int or long to both be usable as-a tid_t for API purposes.

Description

We want Python int or long to both be usable as-a tid_t for API purposes. Introduce a typemap to this effect

Details

Committed
enricoSep 2 2015, 1:53 PM
Parents
rL246708: [windows] Add retries to cope with linker/filesystem flakiness
Branches
Unknown
Tags
Unknown