Merge pull request #9502 from ffaf1/add-extension
commit993481eed20763685032d21c77b9f75079b0728c
authormergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Tue, 12 Dec 2023 18:21:45 +0000 (12 18:21 +0000)
committerGitHub <noreply@github.com>
Tue, 12 Dec 2023 18:21:45 +0000 (12 18:21 +0000)
tree3969e44cb20ad739ee7c034a969d48a141de2998
parentf31f2cd5e3462c5873e35ab029d1ff8012c816ff
parent74261d9b0d8efc1b0975372b3fcdc60ebc95c221
Merge pull request #9502 from ffaf1/add-extension

Add `TypeAbstractions` extension