3 Commits (fc4e78cbfe5c7e5e365ebe9fd43b7cf157d229c3)

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