Activity for Lapo Luchini
-
Lapo Luchini posted a comment on ticket #1389
+1
-
OK, in the meantime I created a new complete mirror, with all commits and tags.
-
GitHub mirror
-
I would like this too, is help needed?
-
Was this merge eventually done? Is this branch available anywhere (e.g. GitHub)? I'd like to use that too.
1