Commit 871d43a839498390766734fe9e5b1df433c1249b

Philipp Wiesemann 2017-06-08T22:40:09

Removed unused hint includes.