[PATCH 13/22] Replace hand-made linked list of ui_out_hdr by vector and iterator

[Pedro Alves]

On 12/01/2016 08:22 PM, Simon Marchi wrote:

> Just to be sure, is this patch OK?

Yes.

Thanks,
Pedro Alves