diff options
author | Thomas Haller <thaller@redhat.com> | 2019-04-21 12:56:26 +0200 |
---|---|---|
committer | Thomas Haller <thaller@redhat.com> | 2019-04-21 12:56:26 +0200 |
commit | b237c4303f6990f09e2e5888707ca99d6ae580cc (patch) | |
tree | 1594dba8ce76d2f87e8f8847769e226dcd0429e7 /tools/check-docs.sh | |
parent | cb739531832730e0585a740cd389c715d072cd72 (diff) | |
parent | 32594889bfbf808bf5745e9186e332118e04c6cc (diff) | |
download | NetworkManager-b237c4303f6990f09e2e5888707ca99d6ae580cc.tar.gz |
release: bump version to 1.19.1-dev after 1.18.0 release1.19.1-dev
After 1.18.0 is released, merge it back into master so that
1.18.0 is part of the history of master. That means,
$ git log --first-parent master
will also traverse 1.18.0 and 1.18-rc*.
Also bump the micro version to 1.19.1-dev to indicate that this is
after 1.18.0 is out.
Diffstat (limited to 'tools/check-docs.sh')
0 files changed, 0 insertions, 0 deletions