Merge pull request #4668 from MrPetovan/bug/4665-fix-console-hashbang
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sat, 24 Mar 2018 13:21:26 +0000 (14:21 +0100)
committerGitHub <noreply@github.com>
Sat, 24 Mar 2018 13:21:26 +0000 (14:21 +0100)
Use correct /bin/bash hashbang in bin/console


Trivial merge