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

From: [email-masked] (GNU bug Tracking System)
Date: Sat, 16 May 2020 23:13:01 +0000

Your bug report

#41337: [PATCH 0/2] Update julius

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
41337: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41337
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#41337] [PATCH 0/2] Update julius
From: Nicolas Goaziou <[email-masked]>
To: Timotej Lazar <[email-masked]>
Cc: [email-masked]
Date: Sun, 17 May 2020 01:11:53 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Timotej Lazar <[email-masked]> writes:

> this updates julius to latest version and removes (most) bundled libs.

I applied both patches. Thank you!

Regards,

-- 
Nicolas Goaziou

Subject: [PATCH 0/2] Update julius
From: Timotej Lazar <[email-masked]>
To: [email-masked]
Date: Sat, 16 May 2020 22:39:19 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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