On 03/28/2018 01:40 AM, Bruno Haible wrote:
ping? OK to commit this fix?
Yes please. Thanks. (Jim had another suggestion which would also work, but it hasn't been written yet....)
- [bug-diffutils] bug#30913: Releasing a build compatible with... The Fireplace
- [bug-diffutils] bug#30913: bug#30913: Releasing a build... Paul Eggert
- [bug-diffutils] bug#30913: bug#30913: Releasing a b... Paul Eggert
- [bug-diffutils] bug#30913: bug#30913: Releasing... Paul Eggert
- [bug-diffutils] bug#30913: bug#30913: Relea... Eric Blake
- [bug-diffutils] bug#30913: bug#30913: ... Paul Eggert
- [bug-diffutils] bug#30913: bug#30913: ... Jim Meyering
- [bug-diffutils] bug#30913: bug#30913: Relea... Bruno Haible
- [bug-diffutils] bug#30913: bug#30913: ... Bruno Haible
- [bug-diffutils] bug#30913: bug#309... Paul Eggert
- [bug-diffutils] bug#30913: bug... Bruno Haible
