[pygtk] gtk.gdk.GC.set_clip_mask should accept None (bug 638994)

[John Stowers <jstowers src gnome org>]

commit a17c1f2445d558fdc632591a8947d615532c6f4f
Author: Dieter Verfaillie <dieterv optionexplicit be>
Date:   Fri Feb 18 14:26:42 2011 +0100

    gtk.gdk.GC.set_clip_mask should accept None (bug 638994)

 gtk/gdk-base.defs |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtk/gdk-base.defs b/gtk/gdk-base.defs
index 7f0eb67..0f10e72 100644
--- a/gtk/gdk-base.defs
+++ b/gtk/gdk-base.defs
@@ -2371,7 +2371,7 @@
   (c-name "gdk_gc_set_clip_mask")
   (return-type "none")
   (parameters
-    '("GdkBitmap*" "mask")
+    '("GdkBitmap*" "mask" (null-ok))
   )
 )