diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-05-28 15:02:36 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-05-28 15:04:32 +0200 |
| commit | 224a41d1f6ed7486ff5c4cb537c964698a740eed (patch) | |
| tree | 0505ec01eef09d2cb2f6be7c71f47af66a0370eb /contrib | |
| parent | 81bc9829cdaf206b8442b5c97025aa805fc01d18 (diff) | |
| parent | 6de754306e81dd37a887c4940f2bce0e99c3fc62 (diff) | |
Merge #13336: [0.16.1] doc: Bump to Ubuntu Bionic 18.04 in build-windows.mdv0.16.1rc1
6de754306e81dd37a887c4940f2bce0e99c3fc62 doc: Bump to Ubuntu Bionic 18.04 in build-windows.md (Chun Kuan Lee)
Pull request description:
Windows starts to provide Ubuntu 18.04 WSL, it can be downloaded from Microsoft Store.
GitHub-Pull: #13246
Rebased-From: 9d4f942
Tree-SHA512: f72b97637fcedee4b21316ecafd43c5889111fedbc6522f805df40241558fdfe7579ad4b6bce1940890b3bc352fd64d428f13fb40e97f913031e7eccdc0f7ddf
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions