On Aug 22, 2017, at 8:58 AM, Martin Sebor <mse...@gmail.com> wrote: > > On 08/21/2017 07:41 PM, Daniel Santos wrote: >> It took me a while to figure out how to do this so I figured that it should >> be >> in the docs. OK for trunk?
Oh, yeah, with the correction mentioned, Ok.
