On Wed, Aug 14, 2019 at 11:51 AM Etsuro Fujita <etsuro.fuj...@gmail.com> wrote: > This is my TODO item for PG13, but I'll give priority to other things > in the next commitfest. If anyone wants to work on it, feel free; > else I'll move this to the November commitfest when it opens.
Moved. Best regards, Etsuro Fujita