On Dez 01 2018, Samuel Thibault <samuel.thibault@gnu.org> wrote: > what could be done so I get notified? Do you want to be part of the default CC list? Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."