Lapo Luchini Activity

• Profile
• Activity
• Wiki

Activity for Lapo Luchini

• 3 years ago

  Lapo Luchini posted a comment on ticket #1389

  +1

• 7 years ago

  Lapo Luchini posted a comment on ticket #7

  OK, in the meantime I created a new complete mirror, with all commits and tags.

• 7 years ago

  Lapo Luchini created ticket #7

  GitHub mirror

• 7 years ago

  Lapo Luchini posted a comment on ticket #3

  I would like this too, is help needed?

• 7 years ago

  Lapo Luchini posted a comment on discussion Open Discussion

  Was this merge eventually done? Is this branch available anywhere (e.g. GitHub)? I'd like to use that too.

1