[gnome-builder] menus: add missing title to devices menu

[Christian Hergert <chergert src gnome org>]

commit d13166128d6e36f8ed7bfd63ffc4a0aa831bbe05
Author: Christian Hergert <chergert redhat com>
Date:   Fri Mar 9 19:46:14 2018 -0800

    menus: add missing title to devices menu

 src/libide/gtk/menus.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/libide/gtk/menus.ui b/src/libide/gtk/menus.ui
index 220b9d531..09ce71d60 100644
--- a/src/libide/gtk/menus.ui
+++ b/src/libide/gtk/menus.ui
@@ -249,6 +249,7 @@
   </menu>
   <menu id="ide-device-manager-menu">
     <section id="ide-device-manager-menu-section">
+      <attribute name="label" translatable="yes">Devices</attribute>
     </section>
   </menu>
 </interface>