Re: [PATCH] {maint} repo: don't commit generated files in the git repository anymore

[Stefano Lattarini]

On 12/09/2011 10:52 PM, Stefano Lattarini wrote:
> I've now queued the patch for after the 1.11.2 release.
> 
And now I've pushed it (after having rebased it on latest maint).

Regards,
  Stefano