ankidroid/Anki-Android — pull request #377 by hssm (2014-06-09 09:21:01+00:00)
Title: fix empty search in filtered deck

https://github.com/dae/anki/commit/24e83abe22aefd145987a382fc53364a8bedb8cc

Keeping up-to-date with dae/anki.