On Thu, Aug 01, 2019 at 09:06:59PM +1200, Thomas Munro wrote:
> Unfortunately this comes right that the end of the CF, but the good
> news is that there is another one just around the corner. Moved to
> September.
Moving it to the next CF is fine, thanks. The author had no time to
reply since my last lookup.
--
Michael