On Sat, Sep 12, 2020 at 1:01 AM Paul Eggert <egg...@cs.ucla.edu> wrote: > > And here is the adjusted patch: > > Hold on, that looks like a cleanup of the April 18 patch posted here: > > https://bugs.gnu.org/40634#26 > > But there's a later patch dated April 19, which Norihiro Tanaka said should be > more correct and simpler: > > https://bugs.gnu.org/40634#32 > > I'll try to take a look at the later patch.
Oh! Glad you spotted that.
