Allow role mentions in specific areas#1039

Merged

Den4200 merged 5 commits into

1038_allow_role_mentions_in_specific_areas

Jul 13, 2020

Commits on Jul 12, 2020

Ping @Moderators in ModLog
Leon Sandøy
committed
Allow role pings in Syncers and help_channels.py
Leon Sandøy
committed
Remove pointless comment

lemonsaurus
and
SebastiaanZ
authored
Revert "Ping @Moderators in ModLog"
Leon Sandøy
committed

Commits on Jul 13, 2020

Merge branch 'master' into 1038_allow_role_mentions_in_specific_areas
Den4200
authored