bug#63824: closed ([PATCH 0/3] gnu: openocd: Update to 0.12.0.)

[GNU bug Tracking System]

Your message dated Tue, 6 Jun 2023 09:58:23 +0300
with message-id <ZH7ZD-xIUkNFz6ga@3900XT>
and subject line Re: [bug#63824] [PATCH 0/3] gnu: openocd: Update to 0.12.0.
has caused the debbugs.gnu.org bug report #63824,
regarding [PATCH 0/3] gnu: openocd: Update to 0.12.0.
to be marked as done.

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


-- 
63824: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63824
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/3] gnu: openocd: Update to 0.12.0.
>
>
>
>
> Date: 
>
> Thu,  1 Jun 2023 15:30:10 +0200
>
>
>
>
> Updates OpenOCD to 0.12.0 and its dependencies to newer versions used by
> OpenOCD.
>
> Also jimtcl now requires OpenSSL and the failed tests section was
> updated.  Also changed the arguments section to use G-Expressions.
>
> Jean-Pierre De Jesus DIAZ (3):
>   gnu: libjaylink: Update to 0.3.1.
>   gnu: jimtcl: Update to 0.82.
>   gnu: openocd: Update to 0.12.0.
>
>  gnu/packages/embedded.scm | 44 +++++++++++++++++++--------------------
>  1 file changed, 22 insertions(+), 22 deletions(-)
>
> -- 
> 2.34.1
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#63824] [PATCH 0/3] gnu: openocd: Update to 0.12.0. Date: Tue, 6 Jun 2023 09:58:23 +0300

Looks good. Patch pushed!

-- 
Efraim Flashner   <efraim@flashner.co.il>   רנשלפ םירפא
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---