diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-03-01 13:45:21 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-03-01 13:46:07 +0100 |
| commit | f5ecd0737130eed8daf9d76c5232dce7e40b7150 (patch) | |
| tree | d8a41f95f123d6fe69a6a7cad854a5b066d094a8 /.gitignore | |
| parent | 78e81b0bc554f3f3edd6121671dae23483380d54 (diff) | |
doc: Add missing credit to 0.12.0 release notes
Closes #7624
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions