diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-28 10:54:41 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-28 10:54:47 +0100 |
commit | 20a408ca99dad3cbb8c1cea0fe5c3d52f328061e (patch) | |
tree | be93cd37675c6cebc307df8cdb7d9cd368cf6042 /src | |
parent | 4a46bdc0feaa66f41e921745408663d838847f71 (diff) | |
parent | c8a6c11d6d4c5910dca14135d466efc5c40f519c (diff) |
Merge #7425: devtools: Fix utf-8 support in messages for github-merge
c8a6c11 devtools: Fix utf-8 support in messages for github-merge (Wladimir J. van der Laan)
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions