Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

chore: cherry-pick changes from main to release #1857

Merged
merged 14 commits into from
Feb 11, 2023
Merged

Conversation

joshua-goldstein
Copy link
Contributor

@joshua-goldstein joshua-goldstein commented Feb 9, 2023

Cherry picks:
#1692
#1790
#1701
#1724
#1702
#1766
part of #1808
#1853
update changelog

@coveralls
Copy link

coveralls commented Feb 9, 2023

Coverage Status

Coverage: 61.31% (-8.6%) from 69.916% when pulling 0a75526 on joshua/cps into 3045f88 on release/v4.0.

@mangalaman93 mangalaman93 merged commit 5eb141c into release/v4.0 Feb 11, 2023
@mangalaman93 mangalaman93 deleted the joshua/cps branch February 11, 2023 11:34
mangalaman93 pushed a commit that referenced this pull request Feb 14, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants