From 8c421525acf95c7826b8c3e1f8124830d94ed420 Mon Sep 17 00:00:00 2001 From: laurentheirendt <laurent.heirendt@uni.lu> Date: Wed, 26 Jun 2019 12:14:36 +0200 Subject: [PATCH] move exchange-channels to external Former-commit-id: 35ad9a06724ee5019abe7ecaccef1c6c60148af1 -- GitLab