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

Update IntervalTree.h dependency #14148

Merged
1 commit merged into from Oct 6, 2022
Merged

Update IntervalTree.h dependency #14148

1 commit merged into from Oct 6, 2022

Conversation

AtariDreams
Copy link
Contributor

This was the last update since 2021

@AtariDreams
Update IntervalTree.h
abbf20b 
This is the last update of the file since 2021
lhecker
lhecker approved these changes Oct 6, 2022
View reviewed changes
Copy link
Member

@lhecker lhecker left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I mean... yes, and I don't mean to be rude, but why this PR? It doesn't change anything meaningful.

@carlos-zamora carlos-zamora added the AutoMerge Marked for automatic merge by the bot when requirements are met label Oct 6, 2022
@ghost
Copy link

ghost commented Oct 6, 2022

Hello @carlos-zamora!

Because this pull request has the AutoMerge label, I will be glad to assist with helping to merge this pull request once all check-in policies pass.

p.s. you can customize the way I help with merging this pull request, such as holding this pull request until a specific person approves. Simply @mention me (@msftbot) and give me an instruction to get started! Learn more here.

@carlos-zamora
Copy link
Member

Thanks!

@ghost ghost merged commit a63f060 into microsoft:main Oct 6, 2022
@DHowett DHowett added this to To Cherry Pick in 1.15 Servicing Pipeline via automation Dec 12, 2022
@DHowett DHowett added this to To Cherry Pick in 1.16 Servicing Pipeline via automation Dec 12, 2022
@DHowett DHowett moved this from To Cherry Pick to Cherry Picked in 1.15 Servicing Pipeline Dec 12, 2022
@DHowett DHowett moved this from To Cherry Pick to Cherry Picked in 1.16 Servicing Pipeline Dec 12, 2022
DHowett pushed a commit that referenced this pull request Dec 12, 2022
@AtariDreams @DHowett
Update IntervalTree.h dependency (#14148)
47ba4b2 
This was the last update since 2021

(cherry picked from commit a63f060)
Service-Card-Id: 87207154
Service-Version: 1.16
DHowett pushed a commit that referenced this pull request Dec 12, 2022
@AtariDreams @DHowett
Update IntervalTree.h dependency (#14148)
8be4ea2 
This was the last update since 2021

(cherry picked from commit a63f060)
Service-Card-Id: 87207153
Service-Version: 1.15
@DHowett DHowett moved this from Cherry Picked to Validated in 1.16 Servicing Pipeline Dec 13, 2022
@DHowett DHowett moved this from Cherry Picked to Validated in 1.15 Servicing Pipeline Dec 13, 2022
@ghost
Copy link

ghost commented Dec 14, 2022

🎉Windows Terminal v1.15.3465.0 and v1.15.3466.0 has been released which incorporates this pull request.:tada:

Handy links:

@ghost
Copy link

ghost commented Dec 14, 2022

🎉Windows Terminal Preview v1.16.3463.0 and v1.16.3464.0 has been released which incorporates this pull request.:tada:

Handy links:

@DHowett DHowett moved this from Validated to Shipped in 1.16 Servicing Pipeline Jan 13, 2023
@AtariDreams AtariDreams deleted the interval branch March 11, 2023 21:37
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lhecker lhecker lhecker approved these changes

@carlos-zamora carlos-zamora carlos-zamora approved these changes

Assignees
No one assigned
Labels
AutoMerge Marked for automatic merge by the bot when requirements are met
Projects
No open projects
1.15 Servicing Pipeline
Validated
1.16 Servicing Pipeline
Shipped
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@AtariDreams @carlos-zamora @lhecker