They brought the miners onto the weekly cat herders (the name for core dev weekly sync) meeting they hold. I watched the stream. They listened to the feedback, some other miners that were for it including Stakefish were present. The arguments weren't strong at all from the miners that were opposed and in the end, they dropped it.