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
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