Merge branch 'master' of https://github.com/SRI-CSL/gllvm

SRI-CSL · Oct 12, 2020 · 83f0074 · 83f0074
2 parents 85ec695 + 57f1fcc
commit 83f0074
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/shared/constants.go b/shared/constants.go
@@ -54,10 +54,10 @@ package shared
 //
 //  1.2.7 August 4 2020 William Woodruff's (@woodruffw) tweaks to the get-bc command (a strict mode).
 //
-//  1.2.8 October 11 2020 Wensheng Tang's (@legendtang) requests and fixes to the -flto issues.
+//  1.2.8 October 12 2020 Wensheng Tang's (@legendtang) requests and fixes to the -flto issues.
 
 const gllvmVersion = "1.2.8"
-const gllvmReleaseDate = "October 11 2020"
+const gllvmReleaseDate = "October 12 2020"
 
 const osDARWIN = "darwin"
 const osLINUX = "linux"