bootstrap.sh: improve the informational message about 'git core-diff'
authorAntonio Ospite <ao2@ao2.it>
Fri, 9 Mar 2018 14:55:06 +0000 (15:55 +0100)
committerAntonio Ospite <ao2@ao2.it>
Fri, 16 Mar 2018 12:07:15 +0000 (13:07 +0100)

No differences found