[gnome-desktop] (9 commits) Created branch randr-hotplug

[Federico Mena Quintero <federico src gnome org>]

The branch 'randr-hotplug' was created.

Summary of new commits:

  2290fde... Only select for RRScreenChangeNotifyMask, not for the more 
  f177b20... Don't ask for RANDR events if the caller doesn't specify a 
  448e9e2... Add _with_time() versions to the GnomeRR and GnomeRRConfig 
  5c285b0... Add gnome_rr_screen_get_timestamps() to query the XRR times
  0f889f6... Bump the libtool version number as the GnomeRR and GnomeRRC
  778fcb5... Don't force a reprobe of the RANDR outputs on every RANDR e
  2f9ef4c... First update screen resources, then update the screen size 
  f0dd083... Utility dialog to show the RANDR timestamps, for debugging 
  586ecbb... Comments to clarify the meaning of 'on', 'connected', 'clon