On Fri, Aug 21, 2020 at 10:49 AM John Darrington < j...@darrington.wattle.id.au> wrote:
> On Fri, Aug 21, 2020 at 08:40:34AM -0700, Ben Pfaff wrote: > I plan to make a 1.4.1 release this weekend to fix this and a few > other > problems. > > Let's think carefully about which commits should go into this release. > I have not carefully looked through the history between 1.4 and tip of master yet. Maybe it is obvious that some should not go in 1.4.1. Do you want to point to some that should not?
