These changes did not make it into the 7.12.0 release. The entry for !794 (merged) is already correctly listed for 7.12.1 so it has been removed.
These changes did not make it into the 7.12.0 release. The entry for !794 (merged) is already correctly listed for 7.12.1 so it has been removed.