Commit graph

4 commits

Author SHA1 Message Date
Bjørn Erik Pedersen
c0370e0ee3 Merge commit 'ba45da9d03' 2017-09-21 19:05:40 +02:00
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