[debbugs-tracker] bug#31672: closed ([PATCH 0/2] Add Mame)

[GNU bug Tracking System]

Your message dated Sat, 09 Jun 2018 00:28:01 +0200
with message-id <address@hidden>
and subject line Re: [bug#31672] [PATCH 0/2] Add Mame
has caused the debbugs.gnu.org bug report #31672,
regarding [PATCH 0/2] Add Mame
to be marked as done.

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


-- 
31672: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31672
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/2] Add Mame
>
>
>
>
> Date: 
>
> Thu, 31 May 2018 21:39:23 +0200
>
>
>
>
> Hello,
>
> The following patch set adds Mame.
>
> Feedback welcome.
>
> Regards,
>
> Nicolas Goaziou (2):
>   gnu: asio: New variable.
>   gnu: mame: New variable.
>
>  gnu/packages/emulators.scm  | 170 ++++++++++++++++++++++++++++++++++++
>  gnu/packages/networking.scm |  44 ++++++++++
>  2 files changed, 214 insertions(+)
>
> -- 
> 2.17.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#31672] [PATCH 0/2] Add Mame
>
>
>
>
> Date: 
>
> Sat, 09 Jun 2018 00:28:01 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
>
>
>
>
> Hello,
>
> address@hidden (Ludovic Courtès) writes:
>
> > We had a lengthy and quite unproductive discussion a while back about
> > MAME.  As long as it follows the FSDG, it’s OK to include it.
> >
> > So please make sure it doesn’t include non-free software and does not
> > download or point users at sites providing non-free software.
>
> I think it is clean.
>
> > If this is OK, and if it actually works ;-), then you can go ahead
> > and push!
>
> Pushed as c8b2fd2866c0d68d62c4ce990e0b41a422bd7030. Thank you.
>
> Regards,
>
> -- 
> Nicolas Goaziou                                                0x80A93738
>
>
> --- End Message ---