On Feb 4, 2024, at 13:02, Pavel Stehule <pavel.steh...@gmail.com> wrote:

> I thinks so proposed functionality can be useful 

Great, thank you!

Is that a review? :-)

D




Reply via email to