From 953253f685dc1d2d77f0ddd8637b0a0249364f4f Mon Sep 17 00:00:00 2001
From: Christian Persch <chpe@gnome.org>
Date: Mon, 18 Mar 2013 14:04:52 +0100
Subject: [PATCH] gtk: gtk_init_with_args allows NULL for parameter_string

---
 gtk/gtkmain.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gtk/gtkmain.c b/gtk/gtkmain.c
index 64e06d5059..fbf829387a 100644
--- a/gtk/gtkmain.c
+++ b/gtk/gtkmain.c
@@ -849,7 +849,7 @@ gtk_get_option_group (gboolean open_default_display)
  * @argv: (array length=argc) (inout) (allow-none): Address of the
  *     <parameter>argv</parameter> parameter of main(), or %NULL. Any options
  *     understood by GTK+ are stripped before return.
- * @parameter_string: a string which is displayed in
+ * @parameter_string: (allow-none): a string which is displayed in
  *    the first line of <option>--help</option> output, after
  *    <literal><replaceable>programname</replaceable> [OPTION...]</literal>
  * @entries: (array zero-terminated=1): a %NULL-terminated array