On Tue, Jul 11, 2023 at 9:21 PM Masato Asou <a...@soum.co.jp> 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