bug#66361: closed (30.0.50; ede-project-placeholder-cache-file :type doesn't allow nil)

[GNU bug Tracking System]

Your message dated Thu, 05 Oct 2023 19:13:43 +0300
with message-id <8334yp3v48.fsf@gnu.org>
and subject line Re: bug#66361: 30.0.50; ede-project-placeholder-cache-file 
:type doesn't allow nil
has caused the debbugs.gnu.org bug report #66361,
regarding 30.0.50; ede-project-placeholder-cache-file :type doesn't allow nil
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
66361: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66361
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> 30.0.50; ede-project-placeholder-cache-file :type doesn't allow nil
>
>
>
>
> Date: 
>
> Thu, 5 Oct 2023 10:23:35 -0300
>
>
>
>
> User-agent: 
>
> Mozilla Thunderbird
>
>
>
>
> The docstring of ede-project-placeholder-cache-file says the value can
> be nil, but :type is file.
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#66361: 30.0.50; ede-project-placeholder-cache-file :type doesn't allow nil
>
>
>
>
> Date: 
>
> Thu, 05 Oct 2023 19:13:43 +0300
>
>
>
>
> > Date: Thu, 5 Oct 2023 10:28:21 -0300
> > From: Mauro Aranda <maurooaranda@gmail.com>
> > 
> > tags 66361 patch
> > quit
> > 
> > 
> > Patch attached.
>
> Thanks, installed on the emacs-29 branch, and closing the bug.
>
>
> --- End Message ---