On 5/9/23 05:56, Nicholas Piggin wrote:
On Mon Sep 4, 2023 at 11:30 PM AEST, Cédric Le Goater wrote:
Someone really ought to take over PPC. Daniel and I are real busy on other subsystems. Volunteers ?I suppose I should. I could try do the next PR after this one is merged.
Thanks a lot for volunteering! Phil.
