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
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