Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Looks like this bug discovered in late Jan 2014 never got its fix che…
…cked in. Dan had discussed it with Henry on 24 Jan 2014. Dan incorrectly assumed that a fix had been checked in. Apparently not; Henry's last checkin was 8 Jan 2014 and there was not fix for this issue.
- Loading branch information