Commit graph

2 commits

Author SHA1 Message Date
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