Skip to content

Commit

Permalink
Prepare for new release
Browse files Browse the repository at this point in the history
  • Loading branch information
thofma committed Jan 22, 2020
1 parent ea5a78f commit e9d2093
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion Project.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
name = "Hecke"
uuid = "3e1990a7-5d81-5526-99ce-9ba3ff248f21"
version = "0.7.1"
version = "0.7.2"

[deps]
AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
Expand Down
4 changes: 2 additions & 2 deletions src/Hecke.jl
Original file line number Diff line number Diff line change
Expand Up @@ -238,7 +238,7 @@ function __init__()
include("AlgAssRelOrd/NEQ_polymake.jl")
end

@eval global signature(K::AnticNumberField) = _signature(K)
#@eval global signature(K::AnticNumberField) = _signature(K)
end

module Globals
Expand Down Expand Up @@ -397,7 +397,7 @@ Base.adjoint(x) = transpose(x)
#
################################################################################

global VERSION_NUMBER = v"0.7.2-dev"
global VERSION_NUMBER = v"0.7.2"

######################################################################
# named printing support
Expand Down

2 comments on commit e9d2093

@thofma
Copy link
Owner Author

@thofma thofma commented on e9d2093 Jan 22, 2020

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/8271

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 Julia TagBot is installed, or can be done manually through the github interface, or via:

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

Please sign in to comment.