Incorporated other people's changes (from the repository copy).