Merge pull request #1085 from tetsuok/remove-unnecessary-std
authorNico Weber <nicolasweber@gmx.de>
Wed, 27 Jan 2016 02:15:23 +0000 (21:15 -0500)
committerNico Weber <nicolasweber@gmx.de>
Wed, 27 Jan 2016 02:15:23 +0000 (21:15 -0500)
Remove unnecessary `std::`


Trivial merge