2017-October Archive by Date

• Messages sorted by: [ Thread ] [ Date ] [ Author ]
• Other months

07 October 2017

• [PATCH] gnome-dictionary: set a default value for the sidebar width  Guido Trentalancia
• [PATCH v2] gnome-dictionary: set a default value for the sidebar width  Guido Trentalancia
• [PATCH v3] gnome-dictionary: set a default value for the sidebar width  Guido Trentalancia