On Tue, Jul 11, 2023 at 9:21 PM Masato Asou <[email protected]> wrote:
> ok ? > ok guenther@ (I think this was simply from how the original example was simplified in rev 1.25) Philip Guenther
- remove extra parentheses Masato Asou
- Re: remove extra parentheses Philip Guenther
