{"shas":[["fa767fa485d53e5326c42b8f567f09f5a780218e","d769dcdf0ec1837039720314540824a3680c1ad4@gmail.com","Reword things in in the manual to prevent confusion about font sizes","Marijn Haverbeke"]],"ref":"refs/heads/master","size":1,"head":"fa767fa485d53e5326c42b8f567f09f5a780218e","push_id":37222390}