Ok for mine (probably only modules/poll) too.
- abbreviating gnulib-generated "make" output Jim Meyering
- Re: abbreviating gnulib-generated "make" outp... Jim Meyering
- Re: abbreviating gnulib-generated "make" outp... Eric Blake
- Re: abbreviating gnulib-generated "make" ... Jim Meyering
- Re: abbreviating gnulib-generated "make" outp... Paolo Bonzini
- Re: abbreviating gnulib-generated "make" outp... Bruno Haible
- Re: abbreviating gnulib-generated "make" ... Jim Meyering
- Re: abbreviating gnulib-generated "make&qu... Bruno Haible
