Updates version number to 0.4.198725367.20180531.

PiperOrigin-RevId: 198742779
diff --git a/src/XcodeConfig/TulsiVersion.xcconfig b/src/XcodeConfig/TulsiVersion.xcconfig
index 6b26b3c..f86e01e 100644
--- a/src/XcodeConfig/TulsiVersion.xcconfig
+++ b/src/XcodeConfig/TulsiVersion.xcconfig
@@ -8,7 +8,7 @@
 // Version number (recorded into the Info.plist)
 TULSI_VERSION_MAJOR = 0
 TULSI_VERSION_MINOR = $(GOOGLE_VERSION_BUILDNUMBER)
-TULSI_VERSION_FIXLEVEL = 198617247
+TULSI_VERSION_FIXLEVEL = 198725367
 TULSI_VERSION_BUILDNUMBER = 20180531
 
 TULSI_VERSION_COPYRIGHT = 2015-2018
diff --git a/version.bzl b/version.bzl
index b60d9c9..5f7a34c 100644
--- a/version.bzl
+++ b/version.bzl
@@ -4,7 +4,7 @@
 # Version number (recorded into the Info.plist)
 TULSI_VERSION_MAJOR = "0"
 
-TULSI_VERSION_FIXLEVEL = "198617247"
+TULSI_VERSION_FIXLEVEL = "198725367"
 
 TULSI_VERSION_DATE = "20180531"