Frees an array of #GdkTimeCoord that was returned by gdk_device_get_history().
an array of #GdkTimeCoord.
See Implementation
Frees an array of #GdkTimeCoord that was returned by gdk_device_get_history().