Rok Garbas 0fb5f699b9 use short names for channels now (#101)		2020-06-15 10:26:19 +02:00
..
workflows	use short names for channels now (#101)	2020-06-15 10:26:19 +02:00