On Mon, Dec 08, 2014 at 10:46:54AM +0100, Hans de Goede wrote:
> From: Carlos Garnacho <carl...@gnome.org>
>
> Signed-off-by: Carlos Garnacho <carl...@gnome.org>
pushed, thanks. fwiw, you can push patches like this directly to the repo, I
don't think they'll trigger big discussions on design :)
Cheers,
Peter
> ---
> src/evdev.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/src/evdev.c b/src/evdev.c
> index 4490562..c8ca384 100644
> --- a/src/evdev.c
> +++ b/src/evdev.c
> @@ -2032,7 +2032,7 @@ evdev_device_remove(struct evdev_device *device)
> struct libinput_device *dev;
>
> list_for_each(dev, &device->base.seat->devices_list, link) {
> - struct evdev_device *d = (struct evdev_device*)dev;;
> + struct evdev_device *d = (struct evdev_device*)dev;
> if (dev == &device->base)
> continue;
>
> --
> 2.1.0
_______________________________________________
wayland-devel mailing list
wayland-devel@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/wayland-devel
