• remove unnecessary prompt

    Ubuntu
    Ubuntu committed Sep 7, 2017
    6239784