+ contributor("Martin Hoffmann",
+ "hoffimar () gmail ! com",
+ "GPL",
+ "Re: #8703: 'new shortcut' box closes if no shortcut",
+ "m=138105799411067",
+ "6 October 2013",
+ "Dialog usability fix"),
+
+ contributor("Winfred Huang",
+ "tone90999 () hotmail ! com",
+ "GPL",
+ "License for Chinese translation",
+ "m=153274007430136",
+ "28 July 2018",
+ "Simplified Chinese Localization"),
+
+ contributor("John Hudson",
+ "j.r.hudson () virginmedia ! com",
+ "GPL",
+ "Contributions",
+ "m=146722333213915",
+ "29 June 2016",
+ "Documentation updates"),
+
+ contributor("Bernard Hurley",