Update ChangeLog

sebastianbergmann · Jul 21, 2018 · 49a4028 · 49a4028
1 parent 888f03d
commit 49a4028
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ChangeLog-7.2.md b/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