Merge pull request #1831 from rubenk/ai_hints-cleanup
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Wed, 3 Aug 2016 08:06:55 +0000 (10:06 +0200)
committerGitHub <noreply@github.com>
Wed, 3 Aug 2016 08:06:55 +0000 (10:06 +0200)
Ai hints cleanup


Trivial merge