{"shas":[["6230eed06997fc399f90b353e3d428f957ec80a9","f0721b43145f0367d16825d537e053523f841764@ou.edu","Added RE_TYPE that was forgotten the first time I yanked from json_util.py","Jonah M. Duckles"]],"ref":"refs/heads/master","size":1,"head":"6230eed06997fc399f90b353e3d428f957ec80a9","push_id":32657350}