Merge pull request #431 from noplanman/telegram_group
Replace Gitter badge with badge to the new Telegram group
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Mar 14 2017, 11:00 AM GitHub Committed on Mar 14 2017, 11:00 AM - Parents
- R123:ed32b10f5e5b: Replace Gitter badge with Telegram one that points to the new Telegram Group.
R123:47058ef45a0b: Merge pull request #430 from lichtscheu/master - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes