Merge remote-tracking branch 'origin/stable' into feature/11501-install-verbs-instead...
commit08eb52523537f257a047c2f4fdc5d6816e14c52c
authorintrigeri <intrigeri@boum.org>
Tue, 16 Oct 2018 08:15:13 +0000 (16 08:15 +0000)
committerintrigeri <intrigeri@boum.org>
Tue, 16 Oct 2018 08:15:13 +0000 (16 08:15 +0000)
tree973c129f02fc2a318ab168fd37f35efa06249cd8
parentcc5095e07edc653427b9d342087ba8db6cb3b6c7
parentf8130653f7d12bb6f174aa91aa17028ca26e239e
Merge remote-tracking branch 'origin/stable' into feature/11501-install-verbs-instead-yes-no