On Tue, 19 Aug 2025 at 12:08, Fujii Masao <masao.fu...@gmail.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.
