diff options
author | Tony Crisci <tony@dubstepdish.com> | 2018-02-24 10:14:22 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-24 10:14:22 -0500 |
commit | 94d53d53f9a13e76bf35e072de2947be3c2f7125 (patch) | |
tree | 372d6f5d3b58c4dcb3414868dd1b03076965aa14 /.gitignore | |
parent | 69409ea3cb3bfba52df9ff35a9b58f6f1b3dc25e (diff) | |
parent | 11e5f0bac844774c8f420adc4d9203c75a0343e7 (diff) |
Merge pull request #657 from emersion/wl-backend-uninitialized-field
backend/wayland: fix uninitialized wlr_event_keyboard_key::update_state
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions