Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix from debian bug #967971, but avoid use of "min" function which isn't
defined everywhere
- Loading branch information