Skip to content
This repository has been archived by the owner on Dec 14, 2023. It is now read-only.

Bump version to 0.13.2 #45

Merged
merged 1 commit into from
Oct 13, 2023
Merged

Bump version to 0.13.2 #45

merged 1 commit into from
Oct 13, 2023

Conversation

fabricedesre
Copy link
Contributor

To let dependents pick up the updated cookie version

To let dependents pick up the updated cookie version
@jdm jdm added this pull request to the merge queue Oct 13, 2023
@jdm jdm removed this pull request from the merge queue due to a manual request Oct 13, 2023
@jdm jdm added this pull request to the merge queue Oct 13, 2023
Merged via the queue into servo:master with commit 58305d4 Oct 13, 2023
4 checks passed
@fabricedesre
Copy link
Contributor Author

Thanks for merging, can anyone publish the new version?

@jdm
Copy link
Member

jdm commented Oct 14, 2023

Published.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants