On Jul 6, 2017, at 5:13 PM, Brian Goetz <[email protected]> wrote: > > I was asking a slightly different question
Ok, thanks. (D'oh.) I'll put in some guidance.
On Jul 6, 2017, at 5:13 PM, Brian Goetz <[email protected]> wrote: > > I was asking a slightly different question
Ok, thanks. (D'oh.) I'll put in some guidance.