From 5fa4d3e1d2188e65dd5436534ae44d87ce0c6f29 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 10 Mar 2016 12:01:08 +0100
Subject: [PATCH] Give the project a top-level name so it can be make
 installed.

Thanks to Amin Timany for the suggestion.
-- 
GitLab