Skip to content

v0.8.0
Compare
Choose a tag to compare
@julia-tagbot julia-tagbot released this 28 Aug 20:45
v0.8.0
This tag was signed with the committer’s verified signature.
JuliaTagBot Julia TagBot
GPG key ID: D8FCFD329B063E7E
Learn about vigilant mode.
0a794ed

v0.8.0 (2019-08-28)

Diff since v0.7.0

Merged pull requests:

  • Changed the type of process priorities from Int8 to Int (Julia v0.7+) (#60) (jvkerckh)
  • Cap Documenter.jl to 0.19 on Travis (#58) (mortenpi)
Assets 2
Loading