Subject: Re: [bug#35637] [PATCH] doc: Fix typo.

From: Arun Isaac <[email-masked]>
Date: Thu, 09 May 2019 12:55:35 +0530

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