diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-04-26 09:59:23 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-04-26 10:01:08 +0200 |
| commit | 646b7f6abe73490e0edaca6f74b94f4158371a55 (patch) | |
| tree | 5a5145d087051212b82053fae4134390301686fc /doc/release-notes/release-notes-0.12.0.md | |
| parent | a07e8caa5d5000286604458e6887f57fec7fdcbb (diff) | |
| parent | fad29582c4f370981c494f6595613c95b172ac40 (diff) | |
Merge #12997: [doc] build-windows: Switch to Artful, since Zesty is EOL
fad2958 [doc] build-windows: Switch to Artful, since Zesty is EOL (MarcoFalke)
Pull request description:
According to https://wiki.ubuntu.com/Releases#End_of_Life, Zesty is EOL, so bump to Artful for now.
Note that Artful is going to be EOL soon as well, so I am not sure how to proceed after that.
Tree-SHA512: 8efc1ade429cf053f4c69e764175aad8790ded71f04bb9963202be171f1cfa1a3de55a207c0b19271d2f536feafa754ed71a6fafc597e3023bdf0e02fa5cd5e5
Diffstat (limited to 'doc/release-notes/release-notes-0.12.0.md')
0 files changed, 0 insertions, 0 deletions