{"shas":[["52b5aa93aacd43d95dd2047830dfef7f36df7282","d1320fa2ba8361a0c2157c4a62c617fa260f0225@gmail.com","Line up optdeps correctly in info pane","Jakob Gruber"],["5a19ff377a4d5cba374ebf40f195557fbfb44c08","d1320fa2ba8361a0c2157c4a62c617fa260f0225@gmail.com","Disable 3PaneLayout by default","Jakob Gruber"]],"ref":"refs/heads/working","size":2,"head":"5a19ff377a4d5cba374ebf40f195557fbfb44c08","push_id":36845008}