From: Daniel Martí <mvdan@mvdan.cc>
Date: Tue, 20 Sep 2016 16:19:08 +0000 (+0000)
Subject: Merge branch 'vagrant' into 'master'
X-Git-Tag: 0.8~161
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=ee54fbc1b81b22d65fb6573dfaa068293a81f4c1;p=fdroidserver.git

Merge branch 'vagrant' into 'master'

docs: update vagrant link

As pointed out in https://f-droid.org/forums/topic/documentation-bug-fix-report/#post-21839 , the link to the vagrant doc is 404. I'd assume that this is the correct link, but please verify this before merge.

See merge request !169
---

ee54fbc1b81b22d65fb6573dfaa068293a81f4c1