Ralf Wildenhues wrote:
Hi Paolo,
* Paolo Bonzini wrote on Thu, Aug 21, 2008 at 11:32:16AM CEST:
I committed this patch as it is pretty obvious.
And I committed a merge in the meanwhile. Sorry; I'll prepare a patch
to git to disable merges on branches where you do not want them. :-)
This:
Hi Paolo,
* Paolo Bonzini wrote on Thu, Aug 21, 2008 at 11:32:16AM CEST:
>> I committed this patch as it is pretty obvious.
>
> And I committed a merge in the meanwhile. Sorry; I'll prepare a patch
> to git to disable merges on branches where you do not want them. :-)
This:
[branch "master"]
Paolo Bonzini wrote:
I committed this patch as it is pretty obvious.
And I committed a merge in the meanwhile. Sorry; I'll prepare a patch
to git to disable merges on branches where you do not want them. :-)
Paolo