On 2018-02-27 12:14 PM, Tom Tromey wrote: > This changes target_write_memory_blocks to use std::vector, rather > than VEC. This allows the removal of some cleanups. > > This version incorporates the additions that Simon made. > > Regression tested by the buildbot. Obviously ok on my side :) Thanks, Simon