Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
HEADER: Update header's problem counter
This patch fixes a bug where the header's problem counter is not updated when the problem counter is overriden. fixes jdavis#8 Signed-off-by: Mark Stenglein <mark@stengle.in>
- Loading branch information