{"shas":[["1f39b24ac4823e84377b147eca6590e80dd649a9","46f1a0bd5592a2f9244ca321b129902a06b53e03@zimothy.com","Thread pool doesn't seem to be working, booting up new threads for each actor computation for now, which fixes the hanging problem.","Timothy Jones"]],"repo":"zimothy/Whiley","actor":"zimothy","ref":"refs/heads/actors","size":1,"head":"1f39b24ac4823e84377b147eca6590e80dd649a9","actor_gravatar":"74c8ac6d137f12b07515915636b831f9","push_id":31886819}