Skip to content

Commit 1f21344

Browse files
rchen20rchen20
committed
Update release number.
1 parent b99d4db commit 1f21344

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎RELEASE

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
*******************************************************************************
22

3-
Kripke: ................................, version 1.2.6
3+
Kripke: ................................, version 1.2.7
44

55
Copyright (c) 2014-23, Lawrence Livermore National Security, LLC.
66
Produced at the Lawrence Livermore National Laboratory.

0 commit comments

Comments
 (0)