Re: where to push simple bugfix

[c.]

On 6 Aug 2012, at 13:54, Ben Abbott wrote:

> 
> On Aug 6, 2012, at 3:37 AM, c. wrote:
> 
>> The bug reported here has a simple fix so I believe, in principle, 
>> it should go on the stable branch. On the other hand, I'm not sure whether
>> 
>> a) There will be any 3.6.x release
>> b) After source tree reorganization it is still possible to merge stable to 
>> default.
>> 
>> Therefore, if no-one objects I'll push the change to default, is that OK?
>> c.
> 
> Carlo,
> 
> What bug is being fixed?  Can you attach a changeset?
> 
> Ben

Ben, 

I meant this bug: http://savannah.gnu.org/bugs/?37033
the person who reported the bug attached a patch against 3.6.2, but it still 
applies to both default and stable.
Given Jordi's comment I'll apply the change to stable, I'll just wait a bit to 
see if the original submitter wants credit for it.

c.