Subject: bug#37587: closed (Re: [bug#37587] [PATCH 0/2] Support customising the inferior error port)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 15 Oct 2019 18:04:03 +0000

Your bug report

#37587: [PATCH 0/2] Support customising the inferior error port

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].

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

Subject: Re: [bug#37587] [PATCH 0/2] Support customising the inferior error port
From: Christopher Baines <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked]
Date: Tue, 15 Oct 2019 19:03:04 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Ludovic Courtès <[email-masked]> writes:

> Hi Chris,
>
> Christopher Baines <[email-masked]> skribis:
>
>> Christopher Baines (2):
>>   inferior: Allow controlling the inferior error port.
>>   inferior: Set the error port when using older Guix versions.
>
> Both patches LGTM.
>
> Thank you, and sorry for the delay!

Great, I've pushed these as ef0c265438149691d980ce17f0c5aaea5e8f6b77.

Thanks for taking a look :)

Subject: [PATCH 0/2] Support customising the inferior error port
From: Christopher Baines <[email-masked]>
To: [email-masked]
Date: Wed, 02 Oct 2019 19:20:54 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Christopher Baines (2):
  inferior: Allow controlling the inferior error port.
  inferior: Set the error port when using older Guix versions.

 guix/inferior.scm | 38 +++++++++++++++++++++-----------------
 1 file changed, 21 insertions(+), 17 deletions(-)