[debbugs-tracker] bug#37587: closed ([PATCH 0/2] Support customising the inferior error port)

[GNU bug Tracking System]

Your message dated Tue, 15 Oct 2019 19:03:04 +0100
with message-id <address@hidden>
and subject line Re: [bug#37587] [PATCH 0/2] Support customising the inferior 
error port
has caused the debbugs.gnu.org bug report #37587,
regarding [PATCH 0/2] Support customising the inferior error port
to be marked as done.

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


-- 
37587: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37587
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH 0/2] Support customising the inferior error port Date: Wed, 02 Oct 2019 19:20:54 +0100 User-agent: mu4e 1.2.0; emacs 26.3

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(-)

signature.asc
Description: PGP signature

--- End Message ---

--- Begin Message --- Subject: Re: [bug#37587] [PATCH 0/2] Support customising the inferior error port Date: Tue, 15 Oct 2019 19:03:04 +0100 User-agent: mu4e 1.2.0; emacs 26.3

Ludovic Courtès <address@hidden> writes:

> Hi Chris,
>
> Christopher Baines <address@hidden> 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 :)

signature.asc
Description: PGP signature

--- End Message ---