diff options
| author | Maxime Dénès | 2017-07-13 13:53:32 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-08-17 15:14:57 +0200 |
| commit | 46c00567cc609fda60ea26a29dc1283e5d1f96a3 (patch) | |
| tree | fdf40066f39bd3cfd6f78a343518d27431715f97 /dev | |
| parent | fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd (diff) | |
Change 8.7~alpha to 8.7+alpha.
Only the latter is a valid git tag, and we will soon be using those to
generate our version numbers.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions