Bump version to 0.7.2

jermar · jermar · commit 02458965e345 · 2018-07-15T23:13:09.000+02:00
diff --git a/version b/version
@@ -36,13 +36,13 @@
 
 VERSION = 0
 PATCHLEVEL = 7
-SUBLEVEL = 1
+SUBLEVEL = 2
 
 ifdef EXTRAVERSION
 	RELEASE = $(VERSION).$(PATCHLEVEL).$(SUBLEVEL).$(EXTRAVERSION)
 else
 	RELEASE = $(VERSION).$(PATCHLEVEL).$(SUBLEVEL)
 endif
 
-NAME = Enlightened Zeal
-COPYRIGHT = Copyright (c) 2001-2017 HelenOS project
+NAME = Boosted Effort
+COPYRIGHT = Copyright (c) 2001-2018 HelenOS project
