Merge branch 'release/v7.18.0'v7.18.0

* release/v7.18.0:
  Update PGP key
  Use rmdir(1) rather than `rm -r` in gms lock clear
  Don't color colon-delimited labels in Vim comments
  Improve extension histogram commands

1 files changed, 1 insertions, 1 deletions

diff --git a/vim/vimrc b/vim/vimrc
index 609a1331..93efe27c 100644
--- a/vim/vimrc
+++ b/vim/vimrc
@@ -825,7 +825,7 @@ set wildmode=list:longest,full
 " giving patterns for the top 100 alphanumeric extensions for files from the
 " running user’s home directory:
 "
-"     $ (LC_ALL=C find "$HOME" ! -type d -name '*.?*' -exec \
+"     $ (LC_ALL=C ; find "$HOME" ! -type d -name '*.?*' -exec \
 "           sh -c 'for fn ; do
 "              ext=${fn##*.}
 "              case $ext in