Subject: bug#25546: Wrong mailing list

From: Wojciech Gac <[email-masked]>
Date: Thu, 23 Feb 2017 15:00:40 +0100

I just realized I sent this patch to the wrong mailing list. Could you
please close this issue? I'll post it to the Org mode list where it
belongs. Sorry for the confusion.
Regards,
Wojtek