[PATCH xserver 0/4] Final cleanups and polish

[Adam Jackson]

On Mon, 2018-05-07 at 17:21 -0400, Adam Jackson wrote:
> 1/4 is the only vaguely contentious one, the rest should all be
> obviously correct.

Merged these:

remote: I: patch #221270 updated using rev cc66777d85f3509b0f9dfc9210d0a0415a2a388d.
remote: I: patch #221271 updated using rev b9f415cbad47412bfb218cf7375d0c2856a27d1b.
remote: I: patch #221272 updated using rev 9f21872ad8591c1f6f8ea1e466f212c3582d3c33.
remote: I: patch #221273 updated using rev 0445705a8bbf76a5532997823ea8110daff26c6d.
remote: I: 4 patch(es) updated to state Accepted.
To ssh://git.freedesktop.org/git/xorg/xserver
   b23a0e4ded..0445705a8b  master -> master

- ajax