diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-10-18 18:40:42 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-10-18 18:41:45 +0200 |
| commit | 80a707824489b833a350e22aedd123b03e80946d (patch) | |
| tree | bd90849b24dd6dbaa76175fd34b020438d6a98fd /doc/files.md | |
| parent | 1e1b8ceb5ebce6b2cdedcd8e7675ec9848349cb2 (diff) | |
| parent | 83c0f7fea8f40292700742f958d0bcab81560b85 (diff) | |
Merge #8955: doc: update 0.13.0 release note info on linux arm builds
83c0f7f trivial: update 0.13.0 release note info on linux arm builds (mruddy)
Diffstat (limited to 'doc/files.md')
0 files changed, 0 insertions, 0 deletions