On Fri, 1 May 2020, 20:52 Ernie Rael, <[email protected]> wrote: > I'm not sure I'd merge at this late stage; but it's not my decision ;-) >
Marked it for review with the milestone. Seems a good candidate and a few other PRs need merging before the release. Still, it's Eric's call now. :-) Best wishes, Neil >
