diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-02-10 11:23:41 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-02-10 11:23:41 +0000 |
| commit | b814d931514cdc250f9156dabd874edf685569d0 (patch) | |
| tree | 6de85e5e662bc0c6eca78715496a02867da1eff9 /tools/src | |
| parent | c3b009b6d24225ad2add62fce8206918fceba3eb (diff) | |
| parent | 199b3a1604095beee9eaeec541c8f158e85493ea (diff) | |
Merge #46
46: Names r=matklad a=matklad
bors r+
Diffstat (limited to 'tools/src')
0 files changed, 0 insertions, 0 deletions