Merge pull request #182 from kberg/master
authorDan Vanderkam <danvdk@gmail.com>
Mon, 26 Nov 2012 21:41:50 +0000 (13:41 -0800)
committerDan Vanderkam <danvdk@gmail.com>
Mon, 26 Nov 2012 21:41:50 +0000 (13:41 -0800)
commit4851cf7da51e5260589c75fa3e3f066609013544
tree2b2164e94231fde94a8ae7ef9e4caf23aa32218a
parent1132f6be2ce0491bc669ab81b95a9db270f9bae0
parentcfdbe65a12ed82da4d6b478ebdfdc6650d4afc72
Merge pull request #182 from kberg/master

Minor change based on danvk's comments in merge 181.