2015-06-02 17:41 GMT+02:00 Eric Blake <ebl...@redhat.com>:
> On 06/02/2015 09:32 AM, Andreas Grünbacher wrote:
>> How should this be fixed?
>
> It already is:
> https://lists.gnu.org/archive/html/bug-gnulib/2015-06/msg00002.html

Thanks.

Andreas

Reply via email to