Skip to content

Use full name for SmtClean and SmtId #747

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
merged 3 commits into from
Jul 19, 2020
Merged

Use full name for SmtClean and SmtId #747

merged 3 commits into from
Jul 19, 2020

Conversation

twsouthwick
Copy link
Member

Fixes #743

@twsouthwick twsouthwick added this to the 2.12 milestone Jul 10, 2020
@twsouthwick twsouthwick changed the base branch from master to vnext July 10, 2020 03:19
@twsouthwick twsouthwick reopened this Jul 10, 2020
@twsouthwick twsouthwick reopened this Jul 10, 2020
@twsouthwick twsouthwick changed the title Use full name for SmartTagId and SmartId Use full name for SmtClean and SmartId Jul 10, 2020
@twsouthwick twsouthwick changed the title Use full name for SmtClean and SmartId Use full name for SmtClean and SmtId Jul 10, 2020
tomjebo
tomjebo previously approved these changes Jul 17, 2020
View reviewed changes
@twsouthwick twsouthwick changed the base branch from vnext to master July 19, 2020 03:11
@twsouthwick twsouthwick dismissed tomjebo’s stale review July 19, 2020 03:11

The base branch was changed.

@twsouthwick twsouthwick merged commit 91d3edc into dotnet:master Jul 19, 2020
@twsouthwick twsouthwick deleted the smtclean branch December 9, 2022 18:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tomjebo tomjebo tomjebo left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
2.12
Development

Successfully merging this pull request may close these issues.

Can we use SmartTagClean to replace the abbreviations SmtClean property name
2 participants
@twsouthwick @tomjebo