On 8/9/2015 2:33 AM, Johannes Pfau wrote: > Sure. I'm not arguing that LDC or GDC should be the default, just > wanted to explain why we could really need some more contributors for GDC/LDC ;-) We could use more contributors in general!