[gtk/gtk-3-24: 4/4] Merge branch 'wip/wacom-tool-type-from-property-3.24' into 'gtk-3-24'

[Carlos Garnacho <carlosg src gnome org>]

commit 33faf46516a9389ab025a17145392962f7653dbc
Merge: 1c1a86d0fc 7b33369bfb
Author: Carlos Garnacho <mrgarnacho gmail com>
Date:   Tue Dec 18 20:09:40 2018 +0000

    Merge branch 'wip/wacom-tool-type-from-property-3.24' into 'gtk-3-24'
    
    Wacom tool type fixes
    
    See merge request GNOME/gtk!453

 gdk/gdkseat.c                  |  5 ++-
 gdk/gdkseatdefault.c           |  8 ++--
 gdk/gdkseatprivate.h           |  6 ++-
 gdk/x11/gdkdevicemanager-xi2.c | 90 ++++++++++++++++++++++++++++++++++++++++--
 4 files changed, 97 insertions(+), 12 deletions(-)
---