Added more issues to the list of closed ones for release 1.13.