At Thursday 15 July 2010, Ralf Wildenhues wrote:
> Why not just send a bug report to bug-gnulib, since you already
> have a reproducer?
Good idea. Done.
Regards,
Stefano
* Stefano Lattarini wrote on Thu, Jul 15, 2010 at 08:59:17PM CEST:
> At Thursday 15 July 2010, Ralf Wildenhues wrote:
> > * Stefano Lattarini wrote on Thu, Jul 15, 2010 at 12:26:57PM CEST:
> > Bruno prefers the former style, but maybe he accepts a patch to
> > optionally keep the style of the latte
At Thursday 15 July 2010, Ralf Wildenhues wrote:
> Hi Stefano,
>
> * Stefano Lattarini wrote on Thu, Jul 15, 2010 at 12:26:57PM CEST:
> [ git-merge-changelog ]
>
> > However, there is a problem w.r.t. the Automake policy of keeping
> > multiple ChangeLog entries with same author and date lumped
>
Hi Stefano,
* Stefano Lattarini wrote on Thu, Jul 15, 2010 at 12:26:57PM CEST:
[ git-merge-changelog ]
> However, there is a problem w.r.t. the Automake policy of keeping
> multiple ChangeLog entries with same author and date lumped togheter.
> In fact, git-merge-changelog seems to separate them
At Thursday 15 July 2010, Ralf Wildenhues wrote:
> Hi Stefano,
>
> * Stefano Lattarini wrote on Wed, Jul 14, 2010 at 03:51:05PM CEST:
> > Independently from the fact that you give or not your OK to this
> > particular patch, I'd like to know if the following procedure is
> > correct for the pushin
Hi Stefano,
* Stefano Lattarini wrote on Wed, Jul 14, 2010 at 03:51:05PM CEST:
> Independently from the fact that you give or not your OK to this
> particular patch, I'd like to know if the following procedure is
> correct for the pushing of simple patches which should go into
> both maint and mas
Hello Ralf.
Independently from the fact that you give or not your OK to this
particular patch, I'd like to know if the following procedure is
correct for the pushing of simple patches which should go into
both maint and master:
1. Checkout the "maint" branch on my local repos:
$ git co main