Commit baf5d11e04dc93ae12127faa727daeb5d0b6a63e Parent 7bedf7d6b7dfae9681ac5d2c1631eb92d0c68e55 Author John MacFarlane <jgm@berkeley.edu> Date Mon, 15 Jun 2015 12:09:21 -0700 skip_spaces: skip tabs too.