> On 25 Sep 2025, at 13:11, Hayato Kuroda (Fujitsu) <kuroda.hay...@fujitsu.com> > wrote:
> Is "injection point)" a typo? I feel it is enough to remove ")". > Feel free to include if you agree this point as well. Nice catch, I included this with the other fixes and pushed them today. -- Daniel Gustafsson
