diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-02-07 09:21:02 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-02-07 09:21:09 +0100 |
| commit | 1d0295e9d5273838ef2cd9134154551bdbbf3850 (patch) | |
| tree | 50101d8c36ce741e8dd6b98278d9fbc9d36aa413 /src | |
| parent | 073f45cae59f8c6c478d83cb39535c8455c84c82 (diff) | |
| parent | de21e8f17090b8e106c264ad0bed71cc7f236b7c (diff) | |
Merge pull request #3608
de21e8f build: Make sure historical release notes end up in distributions (Wladimir J. van der Laan)
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions