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 0.15.3 #1318

Merged
merged 1 commit into from
Sep 24, 2020
Merged

Release 0.15.3 #1318

merged 1 commit into from
Sep 24, 2020

Conversation

florimondmanca
Copy link
Member

0.15.3 (September 24th, 2020)

Fixed

@florimondmanca florimondmanca requested a review from a team September 24, 2020 07:50
@florimondmanca florimondmanca added the do not merge PRs that should not be merged label Sep 24, 2020
@tomchristie
Copy link
Member

Personally I think we should just get this one in, as a clear bug.

(#1320 is more fuzzy than it first looks)

@florimondmanca
Copy link
Member Author

florimondmanca commented Sep 24, 2020

Yup, happy to release this right away. Mind a ✅ ?

@florimondmanca florimondmanca removed the do not merge PRs that should not be merged label Sep 24, 2020
Copy link
Member

@tomchristie tomchristie left a comment

Choose a reason for hiding this comment

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

👍 Great, yup. Am appreciating being able to do more micro-releases, now that we've got such a lovely workflow here!

@tomchristie tomchristie added the release A new package release label Sep 24, 2020
@florimondmanca florimondmanca merged commit 24da8d4 into master Sep 24, 2020
@florimondmanca florimondmanca deleted the release/0.15.3 branch September 24, 2020 09:39
johtso pushed a commit to johtso/httpx that referenced this pull request Sep 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release A new package release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants