Hi Helmut!

On 06/10/2018 08:55 PM, Helmut Grohne wrote:
> Please consider applying the attached patch.

Thanks for the patch. Wouldn't it make more sense though to just send the
patch upstream? Upstream has a github repository, so opening a pull request
should be easy. I can do that if you don't have the time though.

Adrian

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaub...@debian.org
`. `'   Freie Universitaet Berlin - glaub...@physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913

Reply via email to