From 8506949ecdfd50005ed32dc7c9873f870ecea671 Mon Sep 17 00:00:00 2001 From: Adriaan de Groot Date: Fri, 31 May 2019 17:28:33 +0200 Subject: [PATCH] Changes: Document new welcome-theming --- CHANGES | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES b/CHANGES index e18d3f7e4..b5707cd45 100644 --- a/CHANGES +++ b/CHANGES @@ -22,6 +22,8 @@ milestone for details. *productLogo* and *productIcon* keys. If a file is named there, then the file is used, and otherwise the icon is looked up in the current theme. + - *welcome* allows a custom image path or icon name to be set for the + language-selection drop-down (instead of the international standard one). # 3.2.8 (2019-05-10) #