+ contributor(u"Martin Hoffmann",
+ "hoffimar () gmail ! com",
+ "GPL",
+ "Re: #8703: 'new shortcut' box closes if no shortcut",
+ "m=138105799411067",
+ "6 October 2013",
+ u"Dialog usability fix"),
+
+ contributor(u"John Hudson",
+ "j.r.hudson () virginmedia ! com",
+ "GPL",
+ "Contributions",
+ "m=146722333213915",
+ "29 June 2016",
+ u"Documentation updates"),
+