View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0004854 | Spring engine | General | public | 2015-06-28 10:17 | 2015-07-03 15:39 |
| Reporter | Jools | Assigned To | abma | ||
| Priority | normal | Severity | feature | Reproducibility | always |
| Status | closed | Resolution | no change required | ||
| Product Version | 99.0+git | ||||
| Summary | 0004854: Request to change development version name | ||||
| Description | Current name of development build is "{develop}99.0.1-20-gc999972 develop" (with a space). This causes some problems in various parts of the infrastructure, for example pr-downloader does not find the stuff. This is just one example, there are many many more issues. A simple solution would be to change name to "{develop}99.0.1-20-gc999972-develop" (with a hyphen). By the way, the old internal name is still displayed at this page: http://springrts.com/dl/buildbot/default/develop/LATEST (without the appendix) | ||||
| Tags | No tags attached. | ||||
| Checked infolog.txt for Errors | |||||