Closed relyt29 closed 9 years ago
@JavaJens just a little hint for merging the updates: If you do it with the commandline as described by github and not with the web interface button, you can do a fast-forward merge, which does not produce another extra merge commit and keeps a linear history.
@schachmat Great! Thanks, I will definitely do it next time.
Tested and done in the usual fashion