diff options
author | MarcoFalke <falke.marco@gmail.com> | 2019-10-11 14:24:11 -0400 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2019-10-11 14:24:15 -0400 |
commit | f4d93078dde502bb6a77dcc94ac6eafe20e36324 (patch) | |
tree | 18b4a17bb6158e4ea337598d8f57b318231d6ce0 /src | |
parent | 82615876109845a7fa0d12941d13c37f34f8d286 (diff) | |
parent | fa91590a74985ff321000864ab3e8ef7414d84eb (diff) |
Merge #17097: build: Add README.md to DIST target
fa91590a74985ff321000864ab3e8ef7414d84eb build: Add README.md to DIST target (MarcoFalke)
Pull request description:
This is required because our release tarball is generated by listing each needed file. See: #16734
Should fix the failing builds after commit 9b4dfec831e6c20ce06c40412a692315b482e456
ACKs for top commit:
fanquake:
ACK fa91590a74985ff321000864ab3e8ef7414d84eb - just checked that `README.md` is present inside the tarball after running `make dist`.
Tree-SHA512: 92e6145cbea4f7d0edfc88e4dcc11a34349bbf2f1948340531d2ff8832cfef94f979add8bd925b7e2c82a6bed4be40b8d41e94807d4a69983dcda3bccb206a31
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions