[ANNOUNCE] wayland-protocols 1.13

[Jonas Ådahl]

wayland-protocols 1.13 is now available.

This version includes a new unstable protocol: Input timestamps, a protocol for
providing high resolution timestamps to input events. See the corresponding
commit and protocol XML file for details.


Here is the shortlog:

Alexandros Frantzis (1):
      unstable: Add input-timestamps protocol

Jonas Ådahl (1):
      configure.ac: Bump version to 1.13

Mike Blumenkrantz (1):
      xdg-shell: remove harmless typo

git tag: 1.13

http://wayland.freedesktop.org/releases/wayland-protocols-1.13.tar.xz
MD5:  29312149dafcd4a0e739ba94995a574d  wayland-protocols-1.13.tar.xz
SHA1: 1b4b3385e168c361b4d350668d92f3a90ceee189  wayland-protocols-1.13.tar.xz
SHA256: 0758bc8008d5332f431b2a84fea7de64d971ce270ed208206a098ff2ebc68f38  wayland-protocols-1.13.tar.xz
PGP:  http://wayland.freedesktop.org/releases/wayland-protocols-1.13.tar.xz.sig