On Sun, Feb 20, 2022 at 11:25:09PM +0100, Christian Ruppert wrote: > Hey, > > attached a patch to fix some examples and references, still using or > pointing to deprecated variants.
Oops, indeed! Thanks for this, Christian, now merged! Willy
On Sun, Feb 20, 2022 at 11:25:09PM +0100, Christian Ruppert wrote: > Hey, > > attached a patch to fix some examples and references, still using or > pointing to deprecated variants.
Oops, indeed! Thanks for this, Christian, now merged! Willy