bug#34391: Acknowledgement (26.1; [[:cntrl:]] does not match DEL contrary to documentation)

[Eli Zaretskii]

> From: Mattias Engdegård <mattiase@acm.org>
> Date: Sun, 10 Feb 2019 10:56:07 +0100
> Cc: 34391@debbugs.gnu.org
> 
> > I think you don't find any discussion because in some quarters this
> > behavior is the only one that makes sense: "ASCII control characters"
> > is interpreted as "ASCII characters whose codepoints are below 32
> > decimal".  Which is why I prefer to amend the documentation to say
> > that, instead of excluding DEL explicitly.
> 
> Well, DEL has been a control characters for more than half a century now, but 
> you are right: documentation should be maximally clear to everyone, not just 
> to those who think the way we think they ought to.
> Would this patch do?

Yes, LGTM.  Thanks.  (Be sure to mention the bug number in the log
message.)