On Jul 8, 2014, at 2:07 PM, Dominique Dhumieres <domi...@lps.ens.fr> wrote: >> As mentioned before, I would prefer that you change "hppa*-*-hpux*" to >> "hppa*-*-*". > > Done in my tree so I won't forget. Now someone has to approve the patch!
Ok. :-) I usually just expect people to check in such minor stuff once the discussion dies down and all the good feedback is incorporated.
