Hello, Here is a small patch reported by a user of Debian [1]. Could you please integrate? Thank you for your help. [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=646847 Regards, -- Stéphane Aulery
--- dash.1.old 2014-11-10 12:30:45.305874210 +0100 +++ dash.1.new 2014-11-10 13:08:26.996931055 +0100 @@ -385,7 +385,7 @@ Following is a list of the possible redirections. The .Bq n -is an optional number, as in +is an optional number between 0 and 9, as in .Sq 3 (not .Sq Bq 3 ) ,
