2020/12/19 merges planned

[James Browning]

On 2020 December 19, I intend to merge !1196, (the first patch of) !1167,
!1189, and !1137.

If there is a reason not to merge any of those feel compelled to comment
now. This should also close #680, !957, and !1147.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ntpsec.org/pipermail/devel/attachments/20201212/d9ff8737/attachment.htm>