Subject: Re: [bug#36082] [PATCH] add gnurobots
From: Ricardo Wurmus <[email-masked]>
To: Jesse Gibbons <[email-masked]>
Cc: [email-masked]
Date: Thu, 06 Jun 2019 12:20:49 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Jesse,

thank you for the updated patch.  I pushed it to the master branch with
commit 08c2fb8fe9 after a couple of changes:

* fixed indentation and formatting; replaced tabs with spaces
* added a build phase to install the HOWTO document
* replaced the build phase to patch references to headers with a make
  flag
* moved pkg-config to native-inputs
* reflowed the description
* changed the commit message

Thanks!

-- 
Ricardo