Re: gnulib-tool.py in wget

[Bruno Haible]

Hi Collin,

> Can you test the attached patch for me? It is just an addition of a
> sorted() call, which should hopefully fix it.

The patch works fine. It fixes gnulib-tool.py in the packages
  wget
  wdiff
  freedink

=> Applied. Thanks.

Bruno