GitHub PushEvent at 2014-09-12 16:15:07
Repository: swipl-devel
Actor: JanWielemaker
Payload: {"shas":[["fe15e4ea3415fbae0d2ebdb33a0af0ce8321ab01","485aef14e123fc36449079998664601e153c5ac6@gmx.at","ADDED: library(sandbox): code_type/2, char_type/2 and others are safe.","Markus Triska",true]],"size":1,"ref":"refs/heads/master","head":"fe15e4ea3415fbae0d2ebdb33a0af0ce8321ab01"}