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

Reply via email to