Commit graph

3 commits

Author SHA1 Message Date
Bjørn Erik Pedersen
a1900826b9 Merge commit 'ec4e6f9df2' as 'docs' 2017-08-10 17:18:22 +02:00
Bjørn Erik Pedersen
d384c661fe docs: Re-integrate 2017-08-10 17:17:07 +02:00
Bjørn Erik Pedersen
4c220c4ac2 Merge commit '6dbde8d731'
Fixes #3709
2017-07-18 10:33:58 +02:00