Re[2]: [Gc] Minor autoconf problem (FYI)

[Ivan Maidanski]

 Hi Manuel,

Pushed to master (both bdwgc and libatomic_ops).

Note that you could fork the branch and push the commits to your copy of the repository informing me about the commit, then I could merge your branch.

Regards,
Ivan

Tue,  2 Apr 2013, 14:00 +02:00 from Manuel.Serrano at inria.fr:
>Dear Ivan,
>
>> Could you please provide a patch (both for bdwgc master and
>> libatomic_ops master) or, better, put the corresponding commit to cloned
>> repository on github? Sorry for asking you to do it for such a small
>> change but it will speed up patches processing at my side.
>Here is the patch (apparently, I'm not allowed to push a git commit).
>
>
>
>
>Cheers,
>
>-- 
>Manuel
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://napali.hpl.hp.com/pipermail/gc/attachments/20130403/6d2d2d49/attachment.htm