K 10 svn:author V 4 tijl K 8 svn:date V 27 2014-06-13T10:08:18.443119Z K 7 svn:log V 202 Don't install GSS-API headers when the GSSAPI option has been disabled. Some ports assume GSS-API is supported when they find the headers. PR: 189156 Submitted by: Garrett Cooper END