Skip to content

Replace @Evolving with @Sealed where appropriate#1141

Merged
stIncMale merged 2 commits intomongodb:masterfrom
stIncMale:userSealedInsteadOfEvolvingWhereAppropriate
Jun 16, 2023
Merged

Replace `@Evolving` with `@Sealed` where appropriate#1141
stIncMale merged 2 commits intomongodb:masterfrom
stIncMale:userSealedInsteadOfEvolvingWhereAppropriate

Commits

Commits on Jun 9, 2023

Commits on Jun 12, 2023