julia
RFC: Revise version number generation
#17531
Merged

RFC: Revise version number generation #17531

martinholters
tkelman
martinholters
StefanKarpinski
wookay
wookay reviewed on 2016-07-21
tkelman
martinholters
tkelman
martinholters
StefanKarpinski
tkelman
StefanKarpinski
martinholters martinholters force pushed from ecf079a2 to 93b3317a 9 years ago
martinholters
tkelman
martinholters Revise build number computation
06a5d8b1
martinholters Add version comparison test involving pre-releases
10670ab5
martinholters martinholters force pushed from 93b3317a to 10670ab5 9 years ago
martinholters
tkelman
tkelman tkelman merged 22d9440f into master 9 years ago
martinholters martinholters deleted the revise_version branch 9 years ago
martinholters
tkelman
martinholters

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone