r553147 | gerald | 2020-10-23 21:27:59 +0000 (Fr., 23 Okt. 2020) | 7 lines
Forward port r552389 | gerald | 2020-10-15 from lang/gcc7:
Remove the GRAPHITE options (which we never enabled by default).
GCC 8 is towards the end of its lifecycle and this is a more
experimental feature, so better left to actively developed versions.