Skip to content

Update cibuild#138

Merged
julionce merged 2 commits into
masterfrom
Patching-omg.org-URLS
Apr 7, 2020
Merged

Update cibuild#138
julionce merged 2 commits into
masterfrom
Patching-omg.org-URLS

Conversation

@pablogs9
Copy link
Copy Markdown
Member

@pablogs9 pablogs9 commented Apr 7, 2020

No description provided.

@pablogs9 pablogs9 requested a review from julionce April 7, 2020 11:40
@julionce julionce merged commit 6751e50 into master Apr 7, 2020
@pablogs9 pablogs9 deleted the Patching-omg.org-URLS branch April 7, 2020 13:23
amx-piap pushed a commit that referenced this pull request May 5, 2020
* Update cibuild

* Update cibuild
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.

3 participants