Commit 756b95d184103857b5196063ef310633cb8dba5b Parent 050fb343307b8fe40e3f7541093b75eb276c547a Author John MacFarlane <jgm@berkeley.edu> Date Mon, 23 Mar 2015 15:33:42 -0700 Added TODO on tight lists.