Linear let/where patch is yet to be approved by GHC Steering Committee
For language changes we first require approval from the GHC Steering Committee before a patch is merged.
Commits: 8e0446df and 188b280d both introduce language changes which require GHC Steering Committee approval.
There is currently an open proposal which is not approved by the committee: https://github.com/ghc-proposals/ghc-proposals/pull/624
Should these commits be reverted whilst the committee makes its decision? We do not want to presuppose how the committee will decide and whether they might request any amendments to these patches.
Perhaps there is an administrative error with the process, perhaps @aspiwack or @simonpj could shed some light on the current situation.