tree 325dede58dd8e865456870f4271a9330e8edcda6
parent b3fe11f89bd6673a1a8c55b0ddb9ba42811f0774
author Shahbaz Youssefi <syoussefi@google.com> 1738951135 -0500
committer Shahbaz Youssefi <syoussefi@google.com> 1739069174 -0500

diff: Fix crash in OpString matching

Fixes #5971