K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2018-05-28T13:23:10.781670Z
K 7
svn:log
V 132
Update to the 20180520 snapshot of GCC 9.

files/patch-libcpp-includenew has now been integrated upstream, so
remove it on our end.

END