AFAIK, we still don't have a working git workflow, so why is development
moved to github? I'm fine with duplication, less with making it impossible
to contribute.

Stephan

Reply via email to