--- a/tools/linelength.py	Thu Nov 17 14:12:59 2016 +0200
+++ b/tools/linelength.py	Fri Nov 18 02:56:53 2016 +0200
@@ -5,7 +5,7 @@
 for filename in argv[1:]:
 	with open(filename, 'r') as fp:
 		try:
-			exceeders = [(i + 1) for i, ln in enumerate(fp.read().splitlines()) if len(ln.replace('\t', '    ')) > 120]
+			exceeders = [(i + 1) for i, ln in enumerate(fp.read().splitlines()) if len(ln.replace('\t', '    ')) > 140]
 
 			for linenumber in exceeders:
 				stderr.write('%s:%d: warning: line length exceeds 120 characters\n' % (realpath(filename), linenumber))