author | Claudius Zingerli <githubmail@zeuz.ch> | |
Wed, 20 Jan 2016 15:15:34 +0000 (16:15 +0100) | ||
committer | Claudius Zingerli <githubmail@zeuz.ch> | |
Wed, 20 Jan 2016 15:15:34 +0000 (16:15 +0100) |
merging from upstream
Trivial merge
author | Claudius Zingerli <githubmail@zeuz.ch> | |
Wed, 20 Jan 2016 15:15:34 +0000 (16:15 +0100) | ||
committer | Claudius Zingerli <githubmail@zeuz.ch> | |
Wed, 20 Jan 2016 15:15:34 +0000 (16:15 +0100) |