Merge pull request #594 from noplanman/ensure_correct_command_names
Command names should be lower case.
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Aug 17 2017, 9:27 AM GitHub Committed on Aug 17 2017, 9:27 AM - Parents
- R123:4dd80ee1c713: Command names should be lower case.
R123:45aa5f7a9fde: Merge pull request #543 from noplanman/bot_api_3.0 - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes