GNU bug report logs - #66993
[PATCH] project.el: avoid asking user about project-list-file lock

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Dmitry Gutov <dmitry <at> gutov.dev>
Cc: sbaugh <at> catern.com, 66993 <at> debbugs.gnu.org, sbaugh <at> janestreet.com
Subject: bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock
Date: Mon, 20 Nov 2023 13:57:47 +0200

> Date: Mon, 20 Nov 2023 04:05:58 +0200
> Cc: sbaugh <at> catern.com, sbaugh <at> janestreet.com, 66993 <at> debbugs.gnu.org
> From: Dmitry Gutov <dmitry <at> gutov.dev>
> 
> So I don't know if project--list is a "minibuffer history", but 
> depending on the POV one might decide it's close enough.

I still think they are different enough for project--list to be out of
scope of savehist.  But that's me.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.