Update ChangeLog

Author: sebastianbergmann

ChangeLog-7.2.md

@@ -7,6 +7,7 @@ All notable changes of the PHPUnit 7.2 release series are documented in this fil
 ### Fixed
 
 * Fixed [#3218](https://github.com/sebastianbergmann/phpunit/issues/3218): `prefix` attribute for `directory` node missing from `phpunit.xml` XSD
+* Fixed [#3222](https://github.com/sebastianbergmann/phpunit/pull/3222): Priority of `@covers` and `@coversNothing` is wrong
 
 ## [7.2.7] - 2018-07-15