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