On Tue, Sep 20, 2022 at 08:41:56AM +0200, Florin Irion wrote:> OK, patch only for the docs attached.
Thanks, applied.--Michael