1 commit

Author	SHA1	Message	Date
Leonardo de Moura	e02a140080	feat: @[instance_reducible] part 2 (#12263) ... This PR implements the second part of #12247. --------- Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>	2026-02-03 04:01:13 +00:00