bug#41337: closed ([PATCH 0/2] Update julius)

[GNU bug Tracking System]

Your message dated Sun, 17 May 2020 01:11:53 +0200
with message-id <address@hidden>
and subject line Re: [bug#41337] [PATCH 0/2] Update julius
has caused the debbugs.gnu.org bug report #41337,
regarding [PATCH 0/2] Update julius
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
41337: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41337
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/2] Update julius
>
>
>
>
> Date: 
>
> Sat, 16 May 2020 22:39:19 +0200
>
>
>
>
> Hi,
>
> this updates julius to latest version and removes (most) bundled libs.
>
> Thanks!
>
> Timotej Lazar (2):
>   gnu: julius: Update to 1.4.0.
>   gnu: julius: Remove unused bundled libraries.
>
>  gnu/packages/games.scm | 15 +++++++++++----
>  1 file changed, 11 insertions(+), 4 deletions(-)
>
> -- 
> 2.26.2
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#41337] [PATCH 0/2] Update julius
>
>
>
>
> Date: 
>
> Sun, 17 May 2020 01:11:53 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
>
>
>
>
> Hello,
>
> Timotej Lazar <address@hidden> writes:
>
> > this updates julius to latest version and removes (most) bundled libs.
>
> I applied both patches. Thank you!
>
> Regards,
>
> -- 
> Nicolas Goaziou
>
>
> --- End Message ---