bug#67310: [PATCH] Include the project--list as history when prompting for a project

[Dmitry Gutov]

On 25/11/2023 16:10, Eli Zaretskii wrote:
> > Date: Sat, 25 Nov 2023 16:05:03 +0200
> > Cc:sbaugh@janestreet.com,67310@debbugs.gnu.org,juri@linkov.net
> > From: Dmitry Gutov<dmitry@gutov.dev>
> >
> > > I generally request and expect people not to make unnecessary changes,
> > > since doing that makes forensics harder: you see changes which don't
> > > change the code's semantics, and need to waste time studying such
> > > "changes" and deciding that they are no-ops.
> > >
> > > Please everyone keep this in mind when you make changes.
> > In general we don't frown in making minor cosmetic changes in the same
> > area as major meaningful changes are done.
> Yes, if the changes are for the better.  In this case, they seem to be
> due to someone's personal stylistic preferences, so their value is
> questionable at best.

I generally allow stylistic preferences when they don't run counter to 
mine. That's better for contributors' morale, for one thing.

Anyway, I made one more change in that area, hopefully to everyone's liking.