K 10 svn:author V 5 krion K 8 svn:date V 27 2018-11-14T17:58:42.772589Z K 7 svn:log V 118 Pet LICENSE to use standard sbcl licenses. PR: 233222 Submitted by: Lorenzo Salvadore END