> On 2020-05-13 17:58, Evan Hanson wrote: > > I have created a change request and patch for this here: > > > > https://bugs.call-cc.org/ticket/1698 > > Does anyone have any objections to the above CR? > > If not, here's a patch that includes a NEWS entry for the change. >
Pushed, thanks. felix
