Merge "Add missing header for std::binary_search" into main

GitOrigin-RevId: 951e73500c545b4d3ca995440d05f00dd7d6df07
Change-Id: Id0737c24f6a66d49fc18b1b4e6559f87817139a6
1 file changed
tree: b4f53f45308dca3139f419506734395bcb9e8408
  1. libs/