[PATCH 0/4] Get rid of DEF_VEC_I (int)

[Simon Marchi]

On 2017-11-17 12:39 PM, Pedro Alves wrote:
> On 11/17/2017 04:26 PM, Simon Marchi wrote:
>> There are three users of VEC(int) left.  This series replaces them with
>> std::vector and removes it.
>>
>> Simon Marchi (4):
>>   Make output_thread_groups take an std::vector<int>
>>   Make open_fds an std::vector
>>   Make process_info::syscalls_to_catch an std::vector
>>   Remove DEF_VEC_I (int)
>>
> 
> I skimmed this and it looked fine to me.
> 
> Thanks,
> Pedro Alves
> 

Thanks, pushed!

Simon