Remove trailing whitespace#773

TheoWinterhalter merged 1 commit intoMetaRocq:coq-8.16MetaRocq/metarocq:coq-8.16from

JasonGross:coq-8.16+remove-trailing-wsJasonGross/metacoq:coq-8.16+remove-trailing-wsCopy head branch name to clipboard