Re: push created new head

[Kai Torben Ohlhus]

On Mon, Sep 16, 2013 at 3:10 PM, c. <address@hidden> wrote:

Hi,
I just pushed this changeset:

  http://hg.savannah.gnu.org/hgweb/octave/rev/7ad3b9ca66f5

does anyone have any idea why this resulted in a new head?

c.

Hi,

it looks like this changeset (17421:096280194ca3 by Andreas Weber) hasn't been pulled before your changeset was pushed.

Kai