Log Message:
Update to 1.4.2:

This minor bugfix release restores the ability to disconnect
providers from each other using "0x0" as the provider XID.  For
example, to disconnect a display offload sink from its source,
use

  xrandr --setprovideroutputsource <sink> 0x0

This release also formats the GUID provided by DisplayPort 1.2
displays in traditional GUID form.

Finally, this release increases the precision of refresh rate
calculations to disambiguate modes with very similar refresh
rates and to improve the accuracy for interlaced modes.

Aaron Plattner (5):
      Split output property printing into a helper function
      Move EDID printing into a helper function
      Special-case printing of the GUID property
      xrandr: document how to disconnect RandR 1.4 providers
      xrandr 1.4.2

Dave Airlie (1):
      xrandr: allow disconnecting of offload and outputs

Ville Syrjälä (2):
      xrandr: Use more decimal places when printing various rates
      xrandr: Use floating point for VTotal when calculating refresh rate