{"shas":[["68b0166f1482efb55566e3c5408dbffe300bed65","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","bugfix - non graphical chars in glpk line name","Gai Shaked"]],"repo":"tzafrir/boa","actor":"gai","ref":"refs/heads/master","size":1,"head":"68b0166f1482efb55566e3c5408dbffe300bed65","actor_gravatar":"03788cd96ae068cf5771a6f28fafcc76","push_id":25945488}