On Thu, Feb 25, 2016 at 6:32 PM, Ewoud Kohl van Wijngaarden
On Thu, Feb 25, 2016 at 06:18:50PM +0100, Fabian Deutsch wrote:
> I started this document to summarize the currently three know efforts:
Is it by design that this is closed and I don't have permission?
My bad. I can actually not share this document publicly.
I'll relocate it to the website or a wiki.