bug#38217: closed ([PATCH] gnu: rtmidi: Update to 4.0.0.)

[GNU bug Tracking System]

Your message dated Fri, 15 Nov 2019 14:32:16 +0100
with message-id <address@hidden>
and subject line Re: [bug#38217] [PATCH] gnu: rtmidi: Update to 4.0.0.
has caused the debbugs.gnu.org bug report #38217,
regarding [PATCH] gnu: rtmidi: Update to 4.0.0.
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] gnu: rtmidi: Update to 4.0.0. Date: Fri, 15 Nov 2019 09:31:11 +0000 User-agent: mu4e 1.2.0; emacs 26.3

Hello Guix!

Here's an update for the rtmidi package. I've had to fix the
powertabeditor package to be able to find the RtMidi.h header which has
now moved into a subdirectory. It looks like the issue is fixed upstream
in the build system but no release have been made yet so I've added a
TODO to remove the hack later.

WDYT?

Thanks,
Pierre

0001-gnu-rtmidi-Update-to-4.0.0.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#38217] [PATCH] gnu: rtmidi: Update to 4.0.0.
>
>
>
>
> Date: 
>
> Fri, 15 Nov 2019 14:32:16 +0100
>
>
>
>
> User-agent: 
>
> mu4e 1.2.0; emacs 26.3
>
>
>
>
> > The issue seems harmless as it just happens when you close the it, but
> > I don't personally use powertabeditor so I can't be sure.
>
> Ok, I pushed it then.
>
> Thanks,
>
> Mathieu
>
>
> --- End Message ---