Skip to content

Use non-deprecated header include for identity.hpp#280

Merged
pdimov merged 3 commits into
developfrom
pr/remove-functional
May 13, 2026
Merged

Use non-deprecated header include for identity.hpp#280
pdimov merged 3 commits into
developfrom
pr/remove-functional

Commits

Commits on May 13, 2026