K 10 svn:author V 6 gerald K 8 svn:date V 27 2020-11-16T10:33:52.609621Z K 7 svn:log V 83 Update to the 20201112 snapshot of GCC 8.4.1. This brings just one libstdc++ fix. END