[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66993: [PATCH] project.el: avoid asking user about project-list-file
From: |
Eli Zaretskii |
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@catern.com, sbaugh@janestreet.com, 66993@debbugs.gnu.org
> From: Dmitry Gutov <dmitry@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.
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, (continued)
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Dmitry Gutov, 2023/11/17
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, sbaugh, 2023/11/18
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, sbaugh, 2023/11/18
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Eli Zaretskii, 2023/11/18
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Spencer Baugh, 2023/11/18
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Eli Zaretskii, 2023/11/19
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Spencer Baugh, 2023/11/19
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Dmitry Gutov, 2023/11/19
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Eli Zaretskii, 2023/11/19
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Dmitry Gutov, 2023/11/19
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock,
Eli Zaretskii <=
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Dmitry Gutov, 2023/11/19
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Juri Linkov, 2023/11/19
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Spencer Baugh, 2023/11/19
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Dmitry Gutov, 2023/11/19
- bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Dmitry Gutov, 2023/11/08
bug#66993: [PATCH] project.el: avoid asking user about project-list-file lock, Dmitry Gutov, 2023/11/08