Don't convert static records to lowercase #3

Merged
jmartindf merged 1 commit from patch-1 into merge-prs 2025-09-23 16:02:01 -07:00
jmartindf commented 2024-06-06 19:43:56 -07:00 (Migrated from github.com)
No description provided.
Sign in to join this conversation.
No description provided.