Repository navigation

Fix bug #61860: use USearch for searches, it does the right thing - #362

Merged

php-pulls merged 2 commits into

smalyshev:bug61860

Jun 28, 2013

Merged

Fix bug #61860: use USearch for searches, it does the right thing#362
php-pulls merged 2 commits into
php:masterfrom
smalyshev:bug61860

Commits on Jun 24, 2013
- fix bug #61860: use USearch for searches, it does the right thing
  smalyshev
  committed
  8aba119
- small optimization
  smalyshev
  committed
  e3d625b