Update __date__

labs-lang · May 11, 2022 · 1e7c3e4 · 1e7c3e4
1 parent 727c52e
commit 1e7c3e4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.txt b/README.txt
@@ -1,6 +1,6 @@
 
             SLiVER 3.0-PREVIEW
-              14 March 2022
+               11 May 2022
 
 The SLiVER LAbS VERification tool
 

diff --git a/__about__.py b/__about__.py
@@ -7,4 +7,4 @@
 __uri__ = "https://github.com/labs-lang/sliver"
 
 __version__ = "3.0-PREVIEW"
-__date__ = "14 March 2022"
+__date__ = "11 May 2022"