Nice, should we target for the first half of September? Also it would be
good to have all major changes merged around ~1 week before the release, to
avoid last-minute surprises.

On Thu, Aug 10, 2017 at 5:58 PM Joe F <> wrote:

> I can fill in for one release
> Joe
Matteo Merli

Reply via email to