bug#45714: closed ([PATCH 0/1] Fix extension)

[GNU bug Tracking System]

Your message dated Thu, 07 Jan 2021 18:13:16 +0100
with message-id <874kjshdqr.fsf@elephly.net>
and subject line Re: [bug#45714] [PATCH 1/1] ui: Fix extensions.
has caused the debbugs.gnu.org bug report #45714,
regarding [PATCH 0/1] Fix extension
to be marked as done.

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


-- 
45714: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=45714
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/1] Fix extension
>
>
>
>
> Date: 
>
> Thu,  7 Jan 2021 15:12:36 +0100
>
>
>
>
> Dear,
>
> Simple fix of bug#45709.  The 'search-patch' function returns #f which breaks
> the pattern matching.  Another solution is 'let+if' instead of the 'match'.
>
> http://issues.guix.gnu.org/issue/45709
>
> All the best,
> simon
>
>
> zimoun (1):
>   ui: Fix extensions.
>
>  guix/ui.scm | 10 +++++-----
>  1 file changed, 5 insertions(+), 5 deletions(-)
>
>
> base-commit: 0d3f2716a8b8b64fc4126e1f3e987e05cb9f6bac
> -- 
> 2.29.2
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#45714] [PATCH 1/1] ui: Fix extensions.
>
>
>
>
> Date: 
>
> Thu, 07 Jan 2021 18:13:16 +0100
>
>
>
>
> User-agent: 
>
> mu4e 1.4.13; emacs 27.1
>
>
>
>
> zimoun <zimon.toutoune@gmail.com> writes:
>
> > Fixes <http://bugs.gnu.org/45709>.
> >
> > * guix/ui.scm: (run-guix-command): Fix.
>
> Applied, thanks!
>
> -- 
> Ricardo
>
>
> --- End Message ---