tree 56b56c85f469bc92cfe7d3f261e10615371501df
parent 7514e394eb4e6e8c50662364563fa0c080eb0cc4
author Youssef Elghareeb <ghareeb@google.com> 1642156913 +0100
committer Youssef Elghareeb <ghareeb@google.com> 1642156913 +0100

Remove submittable:ok from user-search.txt

This operator was removed with change Ifea3764cd.

Change-Id: I3efc08ea72a1cd318bd0134d0b309dc788dd73e6