Added change log entries for merged pull requests (merged via github web interface).