On 08/10/2013 06:57 AM, Bernhard Voelker wrote: > if you want the want to have it changed, please report this > issue there.
No need; I fixed it upstream just now. Thanks for reporting the problem.
- bug#15066: ./configure && make && make in... jidanni
- bug#15066: ./configure && make && ma... Bernhard Voelker
- bug#15066: ./configure && make &&... Paul Eggert
- bug#15066: ./configure && make &... Bernhard Voelker
