Merge "Remove deprecated vagrant configuration"
authorEd Warnicke <hagbard@gmail.com>
Tue, 17 Jan 2017 21:16:33 +0000 (21:16 +0000)
committerGerrit Code Review <gerrit@fd.io>
Tue, 17 Jan 2017 21:16:33 +0000 (21:16 +0000)

Trivial merge