Hi Maxim, Maxim Cournoyer <maxim.courno...@gmail.com> skribis:
> Alex Kost (2017-06-05) wrote: > >> Arun Isaac (2017-06-05) wrote: > >> > Please make any other changes you think are necessary, and push. Thanks! > >> Thanks, but I'm afraid I'm not competent to judge about the first >> patch. I don't really know what is used on build side and on host side, >> and whether these things can be mixed like that. > >> -- >> Alex > > Could you please have a quick look at the small change I did in the > first patch at https://debbugs.gnu.org/cgi/bugreport.cgi?bug=27222#23? > If it is sane, feel free to merge those (as suggested by Arun) and close > this bug :) Sorry I haven’t closely followed this discussion. Arun: Could you merge it if that looks good to you? I trust your judgment, comrades. :-) TIA! Ludo’. PS: Apologies, I’ll be less responsive over the next few days.