Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ROB: Allow extra whitespace before "obj" in readObjectHeader (#567)
The header being read has the format: <idnum> <generation> obj where `<idnum>` and `<generation>` are integers. Previously an arbitrary number of spaces was being allowed between `<idnum>` and `<generation>`, but not between `<generation>` and `obj`. We now allow arbitrary spaces between `<generation>` and `obj`.
- Loading branch information