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 10 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 10 years ago
martinholters
tkelman
tkelman tkelman merged 22d9440f into master 10 years ago
martinholters martinholters deleted the revise_version branch 10 years ago
martinholters
tkelman
martinholters

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone