2020/12/19 merges planned

Sat Dec 12 23:54:15 UTC 2020

On 12/12/20 10:00 AM, James Browning via devel wrote:
> On 2020 December 19, I intend to merge > !1196

Merged. Thanks! Closed #680.

> (the first patch of) !1167

I left some comments and questions there.

> !1189

LGTM. Approved. I'll leave it to you to merge. It'd be nice to have a 
"Fixes #558" in this commit message.

 > This should also close ... !957

Agreed and done.

> !1137

I can't (presently, at least) speak intelligently to that one (or the 
version of it in !1147).

-- 
Richard