+1 On Tue, Oct 25, 2016 at 5:42 PM Anthony Baker <[email protected]> wrote:
> +1 > > > On Oct 25, 2016, at 5:25 PM, Roman Shaposhnik <[email protected]> wrote: > > > > Unless somebody objects strongly to my #2 and #3 proposals I'm going > > to kick of this thread on private@. > >
