On Wed, 31 Oct 2018 at 18:28, Eric Sunshine <[email protected]> wrote: > > On Wed, Oct 31, 2018 at 10:54 AM Johannes Schindelin > <[email protected]> wrote:
> > ACK. Thanks for cleaning up after me, > > Looks good to me, as well. Thanks for working on it. Thanks, both of you. Martin
