gnugat/redaktilo — pull request #67 by pyrech (2014-09-10 19:28:05+00:00)
Title: Add priority to SearchStrategies

And tadaaa, here it is! Fixes #56 :)