ankidroid/Anki-Android — pull request #126 by hssm (2013-11-13 16:48:17+00:00)
Title: cards must be removed from filtered decks before they're buried (dae/ank...

...i 1df385d)

[This commit](https://github.com/dae/anki/commit/1df385db12fbba9e748bd1815345d0650b10a023).