On Fri, 1 May 2020, 20:52 Ernie Rael, <e...@raelity.com> 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 >