Hello Ludovic, 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 :) Thanks, Maxim