* Added lib/repo, for support for repo (as used in Android) Closes: #705652 Thanks, Peter Eisentraut. * Better cvs status. Closes: #694037 Thanks, Paul Wise