{"shas":[["3ac69b853945cdd63a36cdd1dccf1f18cc098f06","fab3d57bd760ee992433f886f9c2cf3db9a986fc@gmail.com","Removed the double JScrollPane border from the help dialog.","Georgios Migdos"]],"ref":"refs/heads/master","push_id":20930062,"head":"3ac69b853945cdd63a36cdd1dccf1f18cc098f06","size":1}