Commit 82d664519c18bb44aac17ddc8d7409005f687206

Behdad Esfahbod 2025-03-27T17:47:56

[subset] Fix check-symbols test