diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-07-19 12:24:53 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-07-19 12:25:02 +0200 |
commit | d6bb231a9fa902b5d7a719f8cbcba34c6a7a57cf (patch) | |
tree | bb8eff33cc3d3580124ca4e5d2ded283bd2220fc /.tx | |
parent | ec8f5fc8b5f68ddf7fed0d74a5ec82e6b03f7f92 (diff) | |
parent | ded0599281fccc3523e676e9fa43ad631f8ca25f (diff) |
Merge #8360: doc: Add a few items to release notesv0.13.0rc1
ded0599 doc: Add a few items to release notes (Wladimir J. van der Laan)
Diffstat (limited to '.tx')
0 files changed, 0 insertions, 0 deletions