Skip to content

Conversation

@RDIL
Copy link
Contributor

@RDIL RDIL commented May 8, 2020

PR Summary

If the build fails because of this I will close - otherwise it is unused.

PR Context

Issue #9956 documents this

PR Checklist

@ghost ghost assigned iSazonov May 8, 2020
@iSazonov iSazonov assigned TravisEz13 and unassigned iSazonov May 8, 2020
@iSazonov iSazonov added the CL-CodeCleanup Indicates that a PR should be marked as a Code Cleanup change in the Change Log label May 9, 2020
@iSazonov iSazonov added this to the 7.1.0-preview.3 milestone May 9, 2020
@TravisEz13 TravisEz13 merged commit 2cbcd6c into PowerShell:master May 11, 2020
@RDIL RDIL deleted the patch-1 branch May 11, 2020 18:59
@ghost
Copy link

ghost commented May 19, 2020

🎉v7.1.0-preview.3 has been released which incorporates this pull request.:tada:

Handy links:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CL-CodeCleanup Indicates that a PR should be marked as a Code Cleanup change in the Change Log

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants