Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit e72d48d

Browse files
committed
Bump the release number to 1.5.2p1.
1 parent c8c1b5d commit e72d48d

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

Doc/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,7 @@ HTMLDIR= html
5757
INFODIR= info
5858
TOOLSDIR= tools
5959

60-
RELEASE=1.5.2
60+
RELEASE=1.5.2p1
6161
VERSION=1.5
6262

6363
# These must be declared phony since there

0 commit comments

Comments
 (0)