Subject: [Unbearable] discussion in github issues

From: Leif Johansson <[email-masked]>
Date: Tue, 23 Jun 2015 09:37:45 +0200

Folks - remember to mirror the discussion on github issues on this list.
Discussions on github are not obviously covered by NOTE WELL
for instance.