diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-04 21:45:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-04 21:45:22 +0200 |
| commit | f9d9e9099cd04a112598d65ac67a05eb78139e4a (patch) | |
| tree | d3f79c727e1c433179d9beadb466603d4100e949 /core | |
| parent | b295163d67910d62a52d0d8f17749d23d71b5047 (diff) | |
| parent | 391399dcd09943907a66fcf4807e5d3286a46b84 (diff) | |
Merge pull request #10961 from Noshyaar/pr-donor
EditorAbout: fix names being selectable
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions