Merge pull request #5904 from gpaulsen/topic/v4.0.0rc5

Reving to v4.0.0rc5
2018-10-17 12:59:13 -07:00 · 2018-10-17 12:59:13 -07:00 · b8e040c704
--- a/2
+++ b/2
@ -26,7 +26,7 @@ release=0
 # requirement is that it must be entirely printable ASCII characters
 # and have no white space.

-greek=rc4
+greek=rc5

 # If repo_rev is empty, then the repository version number will be
 # obtained during "make dist" via the "git describe --tags --always"