8f9c36b730
there is a recent change, how `std::vector<int>` is wrapped in python, it used to be a 2d array (requirig that weird `[0]` indexing), now it is only 1d