chrisbanes/Android-PullToRefresh — pull request #234 by robUx4 (2013-08-06 10:44:40+00:00)
Title: Fix the pull happening when the top element is not shown

I know it's not maintained but others may see this important patch.