2 Commits

Autor	SHA1	Nachricht	Datum
Nassim Jahnke	11d708d831	[ci skip] Add missing feature patch identifiers	2024-11-18 12:31:36 +01:00
Jake Potrebic	94ea770212	Re-add exact choice shapeless support (#11546) ... * Re-add exact choice shapeless support * don't re-create maps every shapeless match * add missing paper comment with last patch	2024-11-09 13:53:53 -08:00