Skip to content

Fix calls to dune subst#85

Merged
anmonteiro merged 1 commit intosavonet:masterfrom
kit-ty-kate:patch-1
Jul 20, 2022
Merged

Fix calls to dune subst#85
anmonteiro merged 1 commit intosavonet:masterfrom
kit-ty-kate:patch-1

Conversation

@kit-ty-kate
Copy link
Contributor

@anmonteiro anmonteiro merged commit c8d297a into savonet:master Jul 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants