Merge pull request #1067 from noplanman/1063_bot_api_4.7
Bot API 4.7
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Apr 7 2020, 3:56 AM GitHub Committed on Apr 7 2020, 3:56 AM - Parents
- R123:8946e59ca29a: Merge branch develop into 1063_bot_api_4.7
R123:8b18496fb2d9: Merge pull request #1066 from noplanman/1049_bot_api_4.6 - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes