diff --git a/generated/state/page-cache.txt b/generated/state/page-cache.txt index 14583380..883f234f 100644 --- a/generated/state/page-cache.txt +++ b/generated/state/page-cache.txt @@ -1802,6 +1802,12 @@ " #13027. " " +"
ctti_type_index
+" for GCC 7 and later, thanks to Benjamin Buch PR16.
+" ctti_type_index
+ for GCC 7 and later, thanks to Benjamin Buch PR16.
+