Merge remote-tracking branch 'origin/master'
authorTomas <tomasn@kth.se>
Sun, 6 Mar 2016 21:54:20 +0000 (22:54 +0100)
committerTomas <tomasn@kth.se>
Sun, 6 Mar 2016 21:54:20 +0000 (22:54 +0100)

Trivial merge