Hey all,
Jeff, what do you envisage for the release schedule? The github milestone
states 30 September, which is approaching.
I think we need still some time to finish all up (there are still some
issues/PRs labels with 0.15), and I also think we need a good RC period
given the huge amount of new features.
Regards,
Joris