Merge branch 'master' into magit-directors-cut

This commit is contained in:
Jonas Bernoulli
2017-03-01 18:16:34 +01:00
4 changed files with 4 additions and 4 deletions