2016-11-18 10:58 GMT+01:00 Federico Bruni <f...@inventati.org>: > > I hope that you won't unsubscribe because of a stupid troll. > Can't you just ignore him? > > I never read his emails, as soon as I see his name I delete the email. "Do > not feed the troll" is the best answer IMO. > Blacklisting should be the very last choice.
I have only read those messages from the anonymous troll after Andrew complained. Until then, they lived happily in my inbox, harmless, hidden under a thread name I was not specially interested on (namely: multi-figure tuplets). I think it is easy to configure a filter or just ignore him. -- Francisco Vila. Badajoz (Spain) www.paconet.org , www.csmbadajoz.com _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user