K 10 svn:author V 6 eadler K 8 svn:date V 27 2018-06-10T19:15:38.545540Z K 7 svn:log V 140 Revert r334929 Apparently some software might depend on a header whose sole contents is a `#warning` to remove it. Revert pending exp-run. END