[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Update after gnulib changed
|
From: |
Bruno Haible |
|
Subject: |
Re: Update after gnulib changed |
|
Date: |
Sun, 02 Aug 2020 15:33:37 +0200 |
|
User-agent: |
KMail/5.1.3 (Linux/4.4.0-186-generic; KDE/5.18.0; x86_64; ; ) |
> > Therefore, here's a suggested patch for GNU poke, to be applied when
> > upgrading
> > the gnulib submodule the next time, or earlier. (It does not hurt to apply
> > it
> > before.)
>
> OK for master.
Pushed. It will become effective the next time the gnulib submodule is upgraded.
Bruno