From bfcd7b0151638a7caa2a1ca0b26826f2a7095161 Mon Sep 17 00:00:00 2001
From: Kurian Benoy <kurian.pro@gmail.com>
Date: Sat, 2 Jun 2018 00:28:09 +0530
Subject: [PATCH] Vagrantfile: Fix typo in spelling of problems.

Fixes #9596.
---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index f8e07e036b..72cfb90d8b 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -168,7 +168,7 @@ sudo bash -c 'cat << EndOfMessage > /etc/motd
 Welcome to the Zulip development environment!  Popular commands:
 * tools/provision - Update the development environment
 * tools/run-dev.py - Run the development server
-* tools/lint - Run the linter (quick and catches many problmes)
+* tools/lint - Run the linter (quick and catches many problems)
 * tools/test-* - Run tests (use --help to learn about options)
 
 Read https://zulip.readthedocs.io/en/latest/testing/testing.html to learn