[ros-diffs] 01/01: [EXPLORER] WatchList should be freed with delete[], not delete (#374)