Skip to content

Minor updates in build.psm1#8888

Merged
TravisEz13 merged 2 commits intoPowerShell:masterfrom
RDIL:patch-2
Feb 20, 2019
Merged

Minor updates in build.psm1#8888
TravisEz13 merged 2 commits intoPowerShell:masterfrom
RDIL:patch-2

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 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

Labels

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants