Phil Hudson <phil.hud...@iname.com> writes: > On Wed, 23 Sep 2020 at 12:15, Bastien <b...@gnu.org> wrote: >> >> Sorry, I should have mentioned this, but the patch does not apply on >> master. If you have time to merge recent changes and reformat it, I >> can apply it right afterwarsds, otherwise I will try to do it myself >> later this week. > > OK, herewith.
Applied, thanks! -- Bastien
