[gtk+] Undo the gtk_menu_popup_for_device rename-to annotation

[Matthias Clasen <matthiasc src gnome org>]

commit aba316207df35106c8e279dbf6792bce0629bb41
Author: Matthias Clasen <mclasen redhat com>
Date:   Mon Mar 19 13:45:48 2012 -0400

    Undo the gtk_menu_popup_for_device rename-to annotation

 gtk/gtkmenu.c |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c
index 953b0e4..ee15338 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