]> git.mxchange.org Git - friendica.git/commitdiff
Merge pull request #7837 from casperrutten/develop
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Fri, 15 Nov 2019 07:20:39 +0000 (08:20 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Nov 2019 07:20:39 +0000 (08:20 +0100)
Update vagrant_provision.sh


Trivial merge