On 04/05/2018 08:34 AM, Jim Meyering wrote:
Did you already post the other 5 patches in the series implied by the subject's "5/6"?
Yes, in the thread starting here: https://lists.gnu.org/r/bug-gnulib/2017-07/msg00119.html which Kamil was replying to.
