Hm, I don't know how to merge several commits. Should I just revert the branch and make new commits, or is there some clever way to achieve that?
You are right concerning the menu, I will try and exclude the other entries. And I just realized that I will then need new commits anyway :-)
As for the coding style, I followed what was already there as closely as possible. If you want me to break consistency I will, but I'd rather not.
« Back to merge proposal
Hm, I don't know how to merge several commits.
Should I just revert the branch and make new commits, or is there some clever way to achieve that?
You are right concerning the menu, I will try and exclude the other entries.
And I just realized that I will then need new commits anyway :-)
As for the coding style, I followed what was already there as closely as possible.
If you want me to break consistency I will, but I'd rather not.