On Mon, Oct 11, 2010 at 11:40 PM, Gilles Moris <gilles.moris at free.fr> wrote: >> > + This will result in an explicit merge in the history log. >> -- I'm not sure "history log" is how we'd right this. > "history graph" ? I think "history"