Am 18.12.2017 um 17:52 schrieb Kei Kebreau: > A few things: > * Please end the "fix-makefile-paths" phase with a #t. > * It turns out that the license is actually gpl2+. > * The description's indentation seems a bit early and weird. That is, we > can have up to 80 characters per line in our description, and some of > the description can be adjusted accordingly. > GJ spotting all of this. Here is the updated patch.