Skip to content

Mark RedisConnectionPool as final#83

Merged
fabianfett merged 1 commit intoswift-server:mainfrom
fabianfett:ff-mark-RedisConnectionPool-as-final
Aug 3, 2023
Merged

Mark RedisConnectionPool as final#83
fabianfett merged 1 commit intoswift-server:mainfrom
fabianfett:ff-mark-RedisConnectionPool-as-final

Conversation

@fabianfett
Copy link
Copy Markdown
Member

No description provided.

@fabianfett fabianfett requested a review from Joannis August 1, 2023 09:04
@fabianfett fabianfett merged commit 99cd4a4 into swift-server:main Aug 3, 2023
@fabianfett fabianfett deleted the ff-mark-RedisConnectionPool-as-final branch August 3, 2023 11:02
@fabianfett fabianfett added the 🔨 semver/patch No public API change. label Aug 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🔨 semver/patch No public API change.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants