no need for a CHANGELOG entry for a newly proved property

Author: williamdemeo

CHANGELOG.md

@@ -35,7 +35,6 @@
 
 - Move `txIns ∩ refInputs ≡ ∅` precondition to `allowedLanguages` to allow non-disjoint tx and ref. inputs for Plutus V1-V2
 - Require collateral inputs to be present in the UTxO set in the UTXO rule
-- Prove that an accepted `ChangePParams` proposal has a non-empty update group, at the `GOV`, `GOVS` and `LEDGER` levels (see #1234)
 - State and prove the claim that a voter's (last) vote in a block is applied to the governance action (see #417)
 - Change `RwdAddr` to `RewardAddress`
 - Do not count pool deposits a second time when reregistering pools