Re: [PATCH]: gnu: shogun: Remove non-free source files.

[Ludovic Courtès]

You may actually be eligible for a GNU buck.  :-)

  http://www.gnu.org/help/gnu-bucks.html

Ludo’.