Skip to content

Conversation

@umbynos
Copy link
Contributor

@umbynos umbynos commented Dec 3, 2021

This reverts commit 320f7de.

Please check if the PR fulfills these requirements

  • The PR has no duplicates (please search among the Pull Requests
    before creating one)
  • Tests for the changes have been added (for bug fixes / features)
  • What kind of change does this PR introduce?

infrastructure update

  • What is the current behavior?
  • What is the new behavior?

arduino/tooling-project-assets#186

  • Does this PR introduce a breaking change?

nop

  • Other information:

@umbynos umbynos added type: enhancement Proposed improvement os: windows Specific to Windows operating system topic: infrastructure Related to project infrastructure labels Dec 3, 2021
@umbynos umbynos requested a review from per1234 December 3, 2021 09:57
@umbynos umbynos self-assigned this Dec 3, 2021
@umbynos umbynos merged commit cd19382 into main Dec 3, 2021
@umbynos umbynos deleted the umbynos/pin_task branch December 3, 2021 10:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

os: windows Specific to Windows operating system topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants