Subject: Re: [bug#36082] [PATCH] add gnurobots

From: Ricardo Wurmus <[email-masked]>
Date: Thu, 06 Jun 2019 12:20:49 +0200

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