{"shas":[["f2968c10eabf05e9192f8d36009c767c48b92fa8","34000c7463a75d63b74cdbdc87e9ae20afc5ff02@gmail.com","Remove old way of overriding preference for text editors\n\n- It'll be, in near future, based on default Preference_viewHtmlStyle","Gabriel L. Oliveira"]],"ref":"refs/heads/ung_asynchronous","size":1,"head":"f2968c10eabf05e9192f8d36009c767c48b92fa8","push_id":38270935}