Merge pull request #543 from noplanman/bot_api_3.0
Bot api 3.0
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Aug 8 2017, 1:05 AM GitHub Committed on Aug 8 2017, 1:05 AM - Parents
- R123:c1af4b9177c8: Merge branch 'develop' into bot_api_3.0
R123:b58500f00a57: Merge pull request #582 from noplanman/correct_printError - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes