Update version numbers.

mentos-team · Aug 22, 2024 · 4dd80ed · 4dd80ed
1 parent e9922e4
commit 4dd80ed
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/files/README b/files/README
@@ -1,4 +1,4 @@
-MentOS 0.7.1
+MentOS 0.7.2
 
 Welcome to the MentOS, the Mentoring Operating System.
 

diff --git a/mentos/inc/version.h b/mentos/inc/version.h
@@ -21,7 +21,7 @@
 #define OS_MINOR_VERSION 7
 
 /// Micro version of the operating system.
-#define OS_MICRO_VERSION 1
+#define OS_MICRO_VERSION 2
 
 /// Helper to transform the given argument into a string.
 #define OS_STR_HELPER(x) #x