summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Hutchings <ben@decadent.org.uk>2019-08-13 12:39:34 +0100
committerBen Hutchings <ben@decadent.org.uk>2019-08-13 12:39:34 +0100
commit01de23e3018bc24808c658a8399f3896a7f9fbaf (patch)
tree79523d3e16823bdf5b06e01e8c3dde26c5ccf119
parentd5534b2998f7c7009e600d57f27f68ed45779da2 (diff)
Linux 3.16.72v3.16.72
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c2c6a3580e8a..e2d6e0b9f22d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
VERSION = 3
PATCHLEVEL = 16
-SUBLEVEL = 71
+SUBLEVEL = 72
EXTRAVERSION =
NAME = Museum of Fishiegoodies