issue !4#19751: Tracking issue: manually squeezed simp be...

Stream: triage

[Random Issue Bot]

Today I chose issue #19751 for discussion!

Tracking issue: manually squeezed simp because of performance
Created by @None (@grunweg) on 2024-12-05
Labels: t-meta

Is this issue still relevant? Any recent updates? Anyone making progress?