On Tue, 19 Aug 2025 at 12:08, Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote:
> I pushed the patch registered in PG19-2 and tried to change its status
> to Committed by clicking [Change Status] -> [Committed] in its
> commitfest page [1]. This worked fine until yesterday, but starting
> today, nothing happens when I click it. Could this be related to
> today's new release?
Oops, that was indeed accidentally broken. It's fixed now.