Merge remote-tracking branch 'origin/master' into stable
commit887b2671a95582b80fcf090d0c1c24196a3cab98
authorintrigeri <intrigeri@boum.org>
Thu, 22 Mar 2018 17:52:06 +0000 (22 17:52 +0000)
committerintrigeri <intrigeri@boum.org>
Thu, 22 Mar 2018 17:52:06 +0000 (22 17:52 +0000)
tree6238df3b4c84751dee2b097a9e86e8c8429f0c89
parentbdb872edf168c3952c2c7a042008bda52a8ac3b2
parentcb1ba4102a03415030276a1f9fe36d30aef110df
Merge remote-tracking branch 'origin/master' into stable