diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-10-15 17:18:48 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-15 17:18:48 -0400 |
| commit | eda6d3e0c5938fe161ed3821a8e984c9e14a6b8e (patch) | |
| tree | 78f4f8444d95d5cb4e7aae5d017bebd152f0b606 /python/servo/lints/wpt_lint.py | |
| parent | aa916ad20eb4ed0676cff44629a5d89343affed7 (diff) | |
| parent | 010bc0036d4f31c637f45ba3dc157f80f176f2b6 (diff) | |
| download | servo-eda6d3e0c5938fe161ed3821a8e984c9e14a6b8e.tar.gz servo-eda6d3e0c5938fe161ed3821a8e984c9e14a6b8e.zip | |
Auto merge of #24436 - paulrouget:uwp-tap, r=jdm
Use Tapped event instead of PointerReleased
Fix #24032
Diffstat (limited to 'python/servo/lints/wpt_lint.py')
0 files changed, 0 insertions, 0 deletions