Merge pull request #1168 from noplanman/1161-custom-bot-api-server
Allow custom Bot API server to be used
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Jan 31 2021, 8:06 AM GitHub Committed on Jan 31 2021, 8:06 AM - Parents
- R123:b3ad4e62bea8: Allow custom Bot API server to be used, available since Bot API 5.0
R123:01979339a586: Merge pull request #1169 from noplanman/fix-getUpdates - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes