---- mksh-40.org/mksh.1 2011-06-12 16:34:43.000000000 +0100
-+++ mksh-40/mksh.1 2011-07-07 17:23:08.177234851 +0100
-@@ -1092,7 +1092,6 @@
+ "functions=typeset -f",
+--- mksh-49/mksh.1~ 2014-01-11 20:10:06.000000000 +0200
++++ mksh-49/mksh.1 2014-01-20 14:21:04.704670524 +0200
+@@ -1131,7 +1131,6 @@