diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-17 14:48:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-17 14:48:49 +0200 |
| commit | 26d3e31e053784993d316580390bba3b3d9b52ff (patch) | |
| tree | faa6dd93469d7adeb9c793cf03267c8cc7f8519e /.gitattributes | |
| parent | f71ffa97248e29f1dd8ee5507d4430b08b456842 (diff) | |
| parent | fe4265ad463e8fdf9bd1f8677d5e697b6ee090e0 (diff) | |
Merge pull request #20132 from ibrahn/fix-android-device-poll-thread
fixed branch on uninit and data race in editor android device polling
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions