old_contents: class GtkSharp212ReleasePackage (Package):
  
      def __init__(self):
          Package.__init__(self, 'gtk-sharp',
                           sources=['git://github.com/mono/gtk-sharp.git'],
                           git_branch='gtk-sharp-2-12-branch',
                           revision='02b9360e6dc9d3aa34b8e384bdaced6d25f58970',
                           override_properties={
                               'configure': './bootstrap-2.12 --prefix=%{package_prefix}',
                           }
                           )
          self.make = 'make CSC=mcs'
  
  GtkSharp212ReleasePackage()
  
new_contents: class GtkSharp212ReleasePackage (Package):
  
      def __init__(self):
          Package.__init__(self, 'gtk-sharp',
                           sources=['git://github.com/mono/gtk-sharp.git'],
                           git_branch='gtk-sharp-2-12-branch',
                           revision='6baa9a70f943f412a11b0fceb7072b8690621763',
                           override_properties={
                               'configure': './bootstrap-2.12 --prefix=%{package_prefix}',
                           }
                           )
          self.make = 'make CSC=mcs'
  
  GtkSharp212ReleasePackage()
  
subject: Update gtk-sharp.py