diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-03-01 17:24:17 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-03-01 17:29:48 +0100 |
| commit | 639ec582d0f31e4a15946ffff2e95b9ff7758bd2 (patch) | |
| tree | 995e8b8eaa9368049a900658bec1c18f2af5be13 /doc/release-notes/release-notes-0.12.0.md | |
| parent | 732c01089601d25252301a59ec76f3c1bfb4d495 (diff) | |
| parent | fafe446d0e5d51b7f17628d397e3d3d9fac8b9d8 (diff) | |
Merge #7616: [depends] Delete unused patches
fafe446 [depends] Delete unused patches (MarcoFalke)
Diffstat (limited to 'doc/release-notes/release-notes-0.12.0.md')
0 files changed, 0 insertions, 0 deletions