Skip to content

Commit

Permalink
Bump Dojo to v0.7.2
Browse files Browse the repository at this point in the history
  • Loading branch information
@janbruedigam
janbruedigam committed Jun 4, 2023
1 parent 8220fc4 commit 1475817
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Project.toml
View file
@@ -1,7 +1,7 @@
name = "Dojo"
uuid = "ac60b53e-8d92-4c83-b960-e78698fa1916"
authors = ["simonlc <simonlc@stanford.edu>", "thowell <thowell@stanford.edu>", "Jan Bruedigam <jan.bruedigam@tum.de>"]
version = "0.7.1"
version = "0.7.2"

[deps]
Colors = "5ae59095-9a9b-59fe-a467-6f913c188581"
Expand Down

2 comments on commit 1475817

@janbruedigam
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request created: JuliaRegistries/General/84863

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.7.2 -m "<description of version>" 1475817c3fb305a50ba930ac0c856c5497d26417
git push origin v0.7.2

Please sign in to comment.