wesnoth/wesnoth — pull request #340 by gfgtdf (2014-11-29 18:43:11+00:00)
Title: use boost::ptr_vector for wesnothd::game::history_

boost::ptr_vector is what we want in this case, it gives us a nicer interface and also does the deleting for us.
I think there are also other cases, especially in wesnothd where we want ptr_vector.