Merge pull request #1854 from brd/remove-stolen
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Fri, 5 Aug 2016 21:07:37 +0000 (23:07 +0200)
committerGitHub <noreply@github.com>
Fri, 5 Aug 2016 21:07:37 +0000 (23:07 +0200)
Remove watching stolen, since the counter has been removed upstream.


Trivial merge