Subject: Re: bug#27885: [PATCH] gnu: Add motti.
From: Arun Isaac <[email-masked]>
To: Efraim Flashner <[email-masked]>
Cc: [email-masked]
Date: Sun, 13 Aug 2017 19:25:13 +0530
List-Id: <debbugs-submit.debbugs.gnu.org>

Closing this bug report since this patch has already been pushed...