diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-07-21 17:53:32 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-07-21 17:53:41 +0200 |
commit | 76bc30beab862667d7b5e78d1e20e43f3894f104 (patch) | |
tree | da463e833fad0f9f14f3f10b1d0885f9dc3ae8c1 /doc/release-notes | |
parent | cbdbc75139a68e669b320946c74a454a2ee0b876 (diff) | |
parent | 52a4158f1f159a453c2db09ee8acf7045690e68e (diff) |
Merge #8374: Add release notes for mining changes
52a4158 Add release notes for mining changes (Suhas Daftuar)
Diffstat (limited to 'doc/release-notes')
0 files changed, 0 insertions, 0 deletions