{"shas":[["859c9e1c75428dc405642e0832035c7c5398a1ee","dad19c637a3aee58702b528657cda4a49216174b@gmail.com","Tuned doxygen colors; thanks to danst!","Alexander Tumin"]],"ref":"refs/heads/dev_playground","size":1,"head":"859c9e1c75428dc405642e0832035c7c5398a1ee","push_id":32540204}