On Tue 2019-12-03 19:17:19 -0400, David Bremner wrote:
> I've merged all except this patch,

Thanks!

> and the wrap-and-sort. No real objection to the latter, but it is too
> painful to rebase, and will need regeneration.

I've regenerated it and sent it to the list.  the earlier you apply
wrap-and-sort -ast, the nicer it is for future diffs :)

I'll take a look at the dh12 migration and dh_missing soon.

              -dkg