#social 2015-12-01

2015-12-01 UTC

sandro .. one question I have, we seem to have a rough process of submitting github issue when we see something wrong, we leave it up to editors to make decisions, if not palatable then take it to group. Deeper issues go to group.