Mihir Mehta <mi...@cs.utexas.edu> writes: > -Just in case if you are doing something exotic, it should be > +Just in case you are doing something exotic, it should be
Thanks. Somehow I didn't notice this change earlier, but it looks good, too. Will queue.
