wok diff le/stuff/gcc-4.patch @ rev 22715

updated faenza-icon-theme and faenza-icon-theme-emblems (1.3 -> 1.3.1)
author: Hans-Günter Theisgen
date: Wed Jan 22 14:36:07 2020 +0100 (2020-01-22)
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/le/stuff/gcc-4.patch	Wed Jan 22 14:36:07 2020 +0100
     1.3 @@ -0,0 +1,11 @@
     1.4 +--- src/options.cc	2009-09-22 20:30:26.000000000 +0200
     1.5 ++++ src/options.cc	2009-09-22 20:30:01.000000000 +0200
     1.6 +@@ -1245,7 +1245,7 @@
     1.7 +                 FindColor(new_bw_pal,color_no));
     1.8 +       return -1;
     1.9 +    }
    1.10 +-   char *l=strchr(button,'&');
    1.11 ++   const char *l=strchr(button,'&');
    1.12 +    if(!l)
    1.13 +       return -1;
    1.14 +    char res=toupper(l[1]);