Subject: Re: bug#26379: patch for display.texi

From: Tak Kunihiro <[email-masked]>
Date: Wed, 12 Apr 2017 07:20:43 +0900 (JST)

>> However, at the same time, I wonder if sending this kind of patch
>> is really useful.
> 
> Why not?

Writing documentation is not that appreciated in my daily
circumstance.  Thus I was not sure the revision of a few lines is
regarded as `useful'.  Now I know!