Commit graph

3 commits

Author SHA1 Message Date
Joao Moreno
797317d870 update mention bot configuration
fixes #8822
2016-07-11 16:43:26 +02:00
Joao Moreno
012d338eee remove comments 2016-04-21 17:10:14 +02:00
isidor
41524b020a configure mention-bot 2016-04-19 15:40:08 +02:00