Subject: Patch applied
From: Jorgen Schäfer <[email-masked]>
To: [email-masked]
Date: Wed, 06 Apr 2016 08:59:20 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello!
I just pushed this patch to git master as 1f6b0bc1. Thank you so much for
your contribution and I am very sorry that it took so long to get into the
repository.

Regards,
Jorgen