Skip to content

Add demands to build pool#39

Merged
StefH merged 1 commit intomasterfrom
demands
Mar 17, 2023
Merged

Add demands to build pool#39
StefH merged 1 commit intomasterfrom
demands

Conversation

@StefH
Copy link
Copy Markdown
Collaborator

@StefH StefH commented Mar 17, 2023

No description provided.

@StefH StefH self-assigned this Mar 17, 2023
@StefH StefH added the feature label Mar 17, 2023
@StefH StefH merged commit b1bb268 into master Mar 17, 2023
@StefH StefH deleted the demands branch March 17, 2023 17:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant