Commit bc902b8826c8d00194dfdc91a3791d540c1e8b97 Parent 029ced080c5fd483db72bba5082a16faeb8f8b75 Author John MacFarlane <jgm@berkeley.edu> Date Sun, 29 Mar 2015 16:03:01 -0700 Removed obsolete TODO comment.