Fix version (which, of course, has no effect on the tag/release)

sebastianbergmann · sebastianbergmann · commit 9871cf421031 · 2020-08-10T08:57:13.000+02:00
diff --git a/src/Version.php b/src/Version.php
@@ -22,7 +22,7 @@ final class Version
     public static function id(): string
     {
         if (self::$version === null) {
-            self::$version = (new VersionId('9.1.0', dirname(__DIR__)))->getVersion();
+            self::$version = (new VersionId('9.1.1', dirname(__DIR__)))->getVersion();
         }
 
         return self::$version;

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ final class Version`
`22`	`22`	`public static function id(): string`
`23`	`23`	`{`
`24`	`24`	`if (self::$version === null) {`
`25`		`- self::$version = (new VersionId('9.1.0', dirname(__DIR__)))->getVersion();`
	`25`	`+ self::$version = (new VersionId('9.1.1', dirname(__DIR__)))->getVersion();`
`26`	`26`	`}`
`27`	`27`
`28`	`28`	`return self::$version;`