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.

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

Release 3.3 #432

Merged
merged 2 commits into from
Jul 8, 2020
Merged

Release 3.3 #432

merged 2 commits into from
Jul 8, 2020

Conversation

jin
Copy link
Member

@jin jin commented Jul 7, 2020

No description provided.

@jin jin requested a review from c-parsons as a code owner July 7, 2020 18:59
@jin jin requested a review from shs96c July 7, 2020 18:59
Copy link
Collaborator

@shs96c shs96c left a comment

Choose a reason for hiding this comment

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

I'm going to assume that the sha is correct :)

@jin jin merged commit a8300d8 into master Jul 8, 2020
@jin jin deleted the jin-patch-11 branch November 30, 2020 08:19
@jin jin mentioned this pull request Jan 6, 2021
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants