@@ -21,9 +21,10 @@ process works:
2121
2222## Pull requests
2323
24−The typical story on pull requests is: if Travis accepts it, and the author
25−only added packages under his/her own name, merge it. If the build later fails
26−(see below), then block the package until it's fixed.
24+The typical story on pull requests is: If Travis accepts it, packdeps
25+says the package is up to date, and the author only added packages
26+under his/her own name, merge it. If the build later fails (see
27+below), then block the package until it's fixed.
2728
2829## Fixing bounds issues
2930