Commit graph

4 commits

Author SHA1 Message Date
Bjørn Erik Pedersen
22b213b1a4 Merge commit 'e81208265b' 2017-08-06 17:24:51 +02:00
Bjørn Erik Pedersen
1c18f3fc49 Merge commit '50ec65fbe1' 2017-07-31 09:21:24 +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