Skip to content

Conversation

@MarcellPerger1
Copy link
Owner

@MarcellPerger1 MarcellPerger1 commented Nov 16, 2024

@MarcellPerger1 MarcellPerger1 added A-General Area: General stuff (isn't in any specfic area) T-feature A new feature labels Nov 16, 2024
@MarcellPerger1 MarcellPerger1 marked this pull request as ready for review November 16, 2024 23:24
@MarcellPerger1 MarcellPerger1 merged commit 05f1134 into main Nov 16, 2024
3 checks passed
@MarcellPerger1 MarcellPerger1 deleted the add-list-decl branch November 16, 2024 23:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-General Area: General stuff (isn't in any specfic area) T-feature A new feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add list declarations

2 participants