Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #3433 from yosefe/topic/v1.5.1-release
NEWS: Rename v1.5.1-rc1 to v1.5.1 release
- Loading branch information