K 10 svn:author V 4 tijl K 8 svn:date V 27 2015-01-09T19:44:01.070826Z K 7 svn:log V 67 Patch a header so other ports can include it Reported by: antoine END