Fix the Maintainer/Last changes/... fields in syntax/coq-goals.vim
Fix the Maintainer/Last changes/... fields in syntax/coq-goals.vim

c-cube/coquille,andy-morris/coquille,the-lambda-church/coquille,stelleg/coquille,bluelightning32/coquille