feature: sealed classes (JEP 409)#4337
Merged
MartinWitt merged 52 commits intoINRIA:masterfrom Jul 5, 2022
Merged
Commits
Commits on Jan 4, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 15, 2022
Commits on Apr 20, 2022
Commits on May 28, 2022
Commits on Jun 16, 2022
- committed