Merge branch 'jn/gitweb-patch' into maint

diff --git a/git-submodule.sh b/git-submodule.sh
index bfbd36b6f45097feaec92f107690224fc81c09c6..0462e529d934750fb63a5a897f135d60ac674b5e 100755 (executable)
--- a/git-submodule.sh
+++ b/git-submodule.sh
@@ -98,7 +98,7 @@ module_clone()
        if test -d "$path"
        then
                rmdir "$path" 2>/dev/null ||
-               die "Directory '$path' exist, but is neither empty nor a git repository"
+               die "Directory '$path' exists, but is neither empty nor a git repository"
        fi
 
        test -e "$path" &&