Update GitInfo.txt
authorRui Marinho <me@ruimarinho.net>
Mon, 15 Jul 2019 18:23:27 +0000 (19:23 +0100)
committerGitHub <noreply@github.com>
Mon, 15 Jul 2019 18:23:27 +0000 (19:23 +0100)
GitInfo.txt

index 8089590..6aba2b2 100644 (file)
@@ -1 +1 @@
-4.3.0
+4.2.0