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/release-notes-0.3.13.md | |
| 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/release-notes-0.3.13.md')
0 files changed, 0 insertions, 0 deletions