On 10/3/22 22:56, Yoshinori Sato wrote:
On Mon, 03 Oct 2022 02:23:51 +0900, Richard Henderson wrote:Ping, or should I create a PR myself? r~Sorry. I can't work this week, so please submit a PR.
Ok, I will fold this into the tcg-next PR that I am preparing now. r~
