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

[xeus] update to 0.24.3 #14455

Merged
merged 1 commit into from
Nov 11, 2020
Merged

[xeus] update to 0.24.3 #14455

merged 1 commit into from
Nov 11, 2020

Conversation

SeekingMeaning
Copy link
Contributor

Describe the pull request

  • What does your PR fix? Fixes #

  • Which triplets are supported/not supported? Have you updated the CI baseline?

  • Does your PR follow the maintainer guide?

@JackBoosY JackBoosY added the category:port-update The issue is with a library, which is requesting update new revision label Nov 8, 2020
NancyLi1013
NancyLi1013 suggested changes Nov 9, 2020
View reviewed changes
@NancyLi1013 NancyLi1013 added info:reviewed Pull Request changes follow basic guidelines and removed requires:author-response labels Nov 10, 2020
@NancyLi1013
Copy link
Contributor

LGTM now, thanks for your PR @SeekingMeaning.

@strega-nil
Copy link
Contributor

Great, thanks @SeekingMeaning :)

@strega-nil strega-nil merged commit 3b910ec into microsoft:master Nov 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@NancyLi1013 NancyLi1013 NancyLi1013 approved these changes

Assignees

@NancyLi1013 NancyLi1013

Labels
category:port-update The issue is with a library, which is requesting update new revision info:reviewed Pull Request changes follow basic guidelines
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@SeekingMeaning @NancyLi1013 @strega-nil @JackBoosY