Subject: Re: [bug#35637] [PATCH] doc: Fix typo.
From: Arun Isaac <[email-masked]>
To: Josh Holland <[email-masked]>
Cc: [email-masked]
Date: Thu, 09 May 2019 12:55:35 +0530
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed to master with a slight punctuation change to the commit message
and after adding a copyright header for you. Thanks!