From aba316207df35106c8e279dbf6792bce0629bb41 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Mon, 19 Mar 2012 13:45:48 -0400
Subject: [PATCH] Undo the gtk_menu_popup_for_device rename-to annotation

---
 gtk/gtkmenu.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c
index 953b0e4a62..ee153384c1 100644
--- a/gtk/gtkmenu.c
+++ b/gtk/gtkmenu.c
@@ -1460,7 +1460,6 @@ popup_grab_on_window (GdkWindow *window,
  * be used instead.
  *
  * Since: 3.0
- * Rename to: gtk_menu_popup
  */
 void
 gtk_menu_popup_for_device (GtkMenu             *menu,
@@ -1714,7 +1713,7 @@ gtk_menu_popup_for_device (GtkMenu             *menu,
 }
 
 /**
- * gtk_menu_popup: (skip)
+ * gtk_menu_popup:
  * @menu: a #GtkMenu
  * @parent_menu_shell: (allow-none): the menu shell containing the
  *     triggering menu item, or %NULL