Commit graph

6 commits

Author SHA1 Message Date
Bjørn Erik Pedersen
4560261b58
Merge commit '374d184e67' 2018-02-21 10:02:51 +01:00
Bjørn Erik Pedersen
06e5633400 Merge commit 'dae5a7c61c' 2017-10-04 09:27:30 +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
f387cb1b38 doc: Merge commit '2c0d1ccdcd' 2017-07-21 11:00:08 +02:00
Bjørn Erik Pedersen
4c220c4ac2 Merge commit '6dbde8d731'
Fixes #3709
2017-07-18 10:33:58 +02:00