+1
And freeze 5.2



On 15/08/2018, 21:46, "David T. Lewis" <lewis at mail.msen.com> wrote:

> This (along with Tools-LM.828) seems like a worthwhile set of improvements.
> Should
we merge it now, or is it better to wait until immediately after the
> 5.2 release?

I am inclined to say merge it now, because it seems like low
> risk with respect to
the release, but I would not want to do anything to get
> in the way of the release
process.

Dave