K 10 svn:author V 5 luigi K 8 svn:date V 27 2013-11-06T22:35:23.111280Z K 7 svn:log V 67 Merge from head (better handling of non-clang building of picobsd) END