On Feb 4, 2024, at 13:02, Pavel Stehule <[email protected]> wrote:

> I thinks so proposed functionality can be useful 

Great, thank you!

Is that a review? :-)

D




Reply via email to