Le 22/11/2022 à 16:51, Abraham Lee a écrit :
Ok, I can confirm that it works as expected. Thanks, again, Jean! No doubt I will be using this quite a lot over the coming months.
Now added as https://lsr.di.unimi.it/LSR/Item?id=1154 (I didn't bother "downgrading" it to 2.22 because 2.24 should be released in December.) Best, Jean
OpenPGP_signature
Description: OpenPGP digital signature
