diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-08-13 14:32:40 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-08-13 14:32:49 +0200 |
commit | 4da19de36f539d8c2db78c936b2f22ca304e566b (patch) | |
tree | 083b72a701697118f446237dcda61985569b6cc4 /configure.ac | |
parent | bffb35f876572737b175aa3620bbf3e62c20f444 (diff) | |
parent | fad389862725abe4351879e3333e47e9e5bf9e0c (diff) |
Merge #13950: doc: move-only 0.17.0 release notes of individual prs
fad389862725abe4351879e3333e47e9e5bf9e0c doc: move-only release notes of individual prs (MarcoFalke)
Pull request description:
Suggestion for reviewers:
`git diff HEAD~ --color-moved=dimmed_zebra`
Tree-SHA512: 9d8be96d3a578e9df831eda1b5d942798ea4fbe2b1105f4c12a61a13716e62defd5ef8460fcd2411400849c057a8a1b3553ba2f490b70a353a6b46ce5be86acc
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions