K 10 svn:author V 7 thierry K 8 svn:date V 27 2020-12-21T16:37:23.558514Z K 7 svn:log V 91 Fix for GCC_DEFAULT=10. PR: 246700 Submitted by: gerald@ Reported by: exp-run (antoine@) END