diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-23 21:55:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-23 21:55:07 +0200 |
commit | f5091681b4d76617ff2f0bcd9f0d795c4d02c985 (patch) | |
tree | d3550f4d1cdfca27c364bb24dd514911ade35b30 /platform | |
parent | f4c17da6f5609aac353d166d2b7d7b98a5934aba (diff) | |
parent | 2407562366213b16f1242ab997827a9e45c76a25 (diff) |
Merge pull request #40639 from KoBeWi/fix_emoji🎉🎉
Fix emoji branch compilation error
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions