Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[libmicrodns] Add new port #25660

Merged
merged 2 commits into from
Jul 13, 2022
Merged

[libmicrodns] Add new port #25660

merged 2 commits into from
Jul 13, 2022

Conversation

Sharpe49
Copy link
Contributor

@Sharpe49 Sharpe49 commented Jul 10, 2022

Adds a port for libmicrodns
(dependency for gst-plugins-bad)

  • What does your PR fix?

    None (new port)

  • Which triplets are supported/not supported? Have you updated the CI baseline?

    All: supported
    Yes

  • Does your PR follow the maintainer guide?

    Yes

  • If you have added/updated a port: Have you run ./vcpkg x-add-version --all and committed the result?

    Yes

@Sharpe49 Sharpe49 force-pushed the libmicrodns branch 2 times, most recently from a066ca3 to e356012 Compare July 10, 2022 07:54
@Sharpe49 Sharpe49 marked this pull request as ready for review July 10, 2022 07:57
github-actions[bot]
github-actions bot previously approved these changes Jul 11, 2022
@Adela0814 Adela0814 added category:new-port The issue is requesting a new library to be added; consider making a PR! requires:author-response labels Jul 11, 2022
@Sharpe49 Sharpe49 force-pushed the libmicrodns branch 3 times, most recently from 7ef19ac to c5190db Compare July 11, 2022 04:16
github-actions[bot]
github-actions bot previously approved these changes Jul 12, 2022
Sharpe49 added 2 commits July 12, 2022 17:55

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
@Adela0814 Adela0814 added info:reviewed Pull Request changes follow basic guidelines and removed requires:author-response labels Jul 13, 2022
@vicroms vicroms merged commit 3433196 into microsoft:master Jul 13, 2022
@Sharpe49 Sharpe49 deleted the libmicrodns branch July 13, 2022 23:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:new-port The issue is requesting a new library to be added; consider making a PR! info:reviewed Pull Request changes follow basic guidelines
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants