Skip to content

Minor updates in build.psm1 #8888

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.

Sign up for GitHub

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

Jump to bottom
Merged
TravisEz13 merged 2 commits into from
Feb 20, 2019
Merged

Minor updates in build.psm1 #8888

TravisEz13 merged 2 commits into from
Feb 20, 2019

Conversation

@RDIL
Copy link
Contributor

@RDIL RDIL commented Feb 13, 2019

PR Summary

From #8886 but without the spacing as requested by @adityapatwardhan

PR Context

PR Checklist

@iSazonov iSazonov added the CL-Tools Indicates that a PR should be marked as a tools change in the Change Log label Feb 14, 2019
TravisEz13
TravisEz13 reviewed Feb 20, 2019
View reviewed changes
TravisEz13
TravisEz13 reviewed Feb 20, 2019
View reviewed changes
@TravisEz13 TravisEz13 merged commit 9bfbd78 into PowerShell:master Feb 20, 2019
@RDIL RDIL deleted the patch-2 branch February 20, 2019 01:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@TravisEz13 TravisEz13 TravisEz13 approved these changes

@adityapatwardhan adityapatwardhan adityapatwardhan approved these changes

@iSazonov iSazonov iSazonov approved these changes

@anmenaga anmenaga Awaiting requested review from anmenaga

@daxian-dbw daxian-dbw Awaiting requested review from daxian-dbw

@PaulHigin PaulHigin Awaiting requested review from PaulHigin

Assignees

@adityapatwardhan adityapatwardhan

Labels

CL-Tools Indicates that a PR should be marked as a tools change in the Change Log

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@RDIL @TravisEz13 @adityapatwardhan @iSazonov