Skip to content

External arazzo#1654

Open
arcuri82 wants to merge 31 commits into
masterfrom
external-arazzo
Open

External arazzo#1654
arcuri82 wants to merge 31 commits into
masterfrom
external-arazzo

Conversation

@arcuri82

Copy link
Copy Markdown
Collaborator

No description provided.

@arcuri82

Copy link
Copy Markdown
Collaborator Author

hi @daniellopera15 (and @jgaleotti )
thx! i ll be traveling till Monday. if it passes CI, i ll merge it once I am back next week.
I now invited you to the rep, so you can directly work here.
if CI will fail, you can modify directly this branch

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants