old_contents: Package ('xamarin-gtk-theme', 'master',
  	sources = [ 'git://github.com/mono/xamarin-gtk-theme.git' ],
  	override_properties = { 'configure':
  		'./autogen.sh --prefix=%{prefix}'
  	},
  	revision = '8840eb554ce193d8660aeb3ae4957f49904edaae',
  )
  
new_contents: Package ('xamarin-gtk-theme', 'master',
  	sources = [ 'git://github.com/mono/xamarin-gtk-theme.git' ],
  	override_properties = { 'configure':
  		'./autogen.sh --prefix=%{prefix}'
  	},
  	revision = '3ccf8317b6b1503c584584064e39f4643fb90069',
  )
  
subject: Bump xamarin-gtk-theme.