On Thu, 1 Aug 2019 at 17:47, Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> On Thu, Aug 1, 2019 at 5:34 PM Edmund Horner <ejrh00(at)gmail(dot)com> wrote:
> > Should we move to CF? We have been in the CF cycle for almost a year now...
>
> Hi Edmund,
>
> No worries, that's how it goes sometimes. Please move it to the next
> CF if you think you'll find some time before September. Don't worry
> if it might have to be moved again. We want the feature, and good
> things take time!
Ok thanks.
I tried moving it to the new commitfest, but it seems I cannot from
its current state.
If it's ok, I'll just leave it to you in 7 hours' time!
Edmund