On Dez 01 2018, Michael Schmitz <schmitzmic@xxxxxxxxx> wrote:
Doesn't work for me - with or without -s option I get the same
What -s option? Andreas. -- Andreas Schwab, schwab@xxxxxxxxxxxxxx GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
