diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile index f9da868f99a8b..6c85a569c1fad 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ VERSION = 3 PATCHLEVEL = 12 -SUBLEVEL = 71 +SUBLEVEL = 72 EXTRAVERSION = NAME = One Giant Leap for Frogkind |