Hi Tassilo, > In case you say that the history of those 5 commits (or a subset > thereof) gives important information and should not be squashed, that's > also fine with me. I don't think the history is that important at this moment. So I squashed all the commits into a single one after I made the changes suggested by Ikumi (sorry, I somehow misunderstood the GNU guidelines regarding the first line of documentation).
Best regards, -- Al
