stefanodacchille/Android-PullToRefresh-1 — comment on commit 347b298e0a5ba7a0b03ab548bb35a1eb29aa52ad
File: library/res/values/ids.xml line 4
By chrisbanes:

This isn't needed (we still used android.R.id.list)