K 10 svn:author V 4 gahr K 8 svn:date V 27 2016-06-07T07:48:03.261120Z K 7 svn:log V 141 lang/itcl4: do not strip the stubs lib, consumers need the stubs pointer symbol Reported by: Peter da Silva END