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.

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

Renames ${qs} to ${query} #78190

Merged
merged 1 commit into from
Jul 30, 2019
Merged

Renames ${qs} to ${query} #78190

merged 1 commit into from
Jul 30, 2019

Conversation

eamodio
Copy link
Contributor

@eamodio eamodio commented Jul 30, 2019

@jrieken jrieken added this to the August 2019 milestone Jul 30, 2019
@jrieken jrieken modified the milestones: August 2019, July 2019 Jul 30, 2019
@isidorn
Copy link
Contributor

isidorn commented Jul 30, 2019

Looks good, merging in.
@eamodio thanks for the fast turnaround.

@isidorn isidorn merged commit fcfe90d into microsoft:master Jul 30, 2019
@isidorn isidorn mentioned this pull request Jul 30, 2019
Closed
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees

@isidorn isidorn

Labels
None yet
Projects
None yet
Milestone
July 2019
Development

Successfully merging this pull request may close these issues.
3 participants
@eamodio @isidorn @jrieken